Skip to content
WebAssembly Build

add option to selectively disable variable solving for only ground ex… #4066

Sign in to view logs

add option to selectively disable variable solving for only ground ex…

add option to selectively disable variable solving for only ground ex… #4066

Triggered via push July 26, 2025 02:15
@NikolajBjornerNikolajBjorner
pushed e549286
master
Status Success
Total duration 18m 16s
Artifacts –

wasm.yml

on: push
Check
18m 10s
Check
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Check
No cached files found at path "/home/runner/work/z3/z3/emsdk-cache" - downloading and caching emsdk.
Check
Failed to restore: Cache service responded with 400