Skip to content
WebAssembly Build

#7418 - circumvent use of timer threads to make WASM integration of z… #3284

Sign in to view logs

#7418 - circumvent use of timer threads to make WASM integration of z…

#7418 - circumvent use of timer threads to make WASM integration of z… #3284

Triggered via push November 21, 2024 19:20
@NikolajBjornerNikolajBjorner
pushed 71bad71
master
Status Success
Total duration 13m 9s
Artifacts –

wasm.yml

on: push
Check
12m 57s
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.