Skip to content
WebAssembly Build

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

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… #3515

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

wasm.yml

on: push
Check
16m 50s
Check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check
No cached files found at path "/home/runner/work/z3/z3/emsdk-cache" - downloading and caching emsdk.