Skip to content
MSVC Static Build

fix crash reported by Nikhil on F* due to unhandled exception while u… #3845

Sign in to view logs

fix crash reported by Nikhil on F* due to unhandled exception while u…

fix crash reported by Nikhil on F* due to unhandled exception while u… #3845

Triggered via push January 29, 2025 00:27
@NikolajBjornerNikolajBjorner
pushed fa60545
master
Status Success
Total duration 28m 28s
Artifacts –

msvc-static-build.yml

on: push
build
28m 15s
build
Fit to window
Zoom out
Zoom in