Skip to content
WebAssembly Build

Bazel: expose z3_static target for working macOS, win32 builds #3876

Sign in to view logs

Bazel: expose z3_static target for working macOS, win32 builds

Bazel: expose z3_static target for working macOS, win32 builds #3876

Re-run triggered May 26, 2025 09:55
@NikolajBjornerNikolajBjorner
#7660
tsnl:master
Status Success
Total duration 17m 21s
Artifacts –

wasm.yml

on: pull_request
Check
17m 11s
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 422