Skip to content
WebAssembly Publish

z3-4.12.6 #16

Sign in to view logs

z3-4.12.6

z3-4.12.6 #16

Triggered via release February 25, 2024 09:35
@NikolajBjornerNikolajBjorner
published z3-4.12.6
Status Success
Total duration 11m 33s
Artifacts –

wasm-release.yml

on: release
Publish
11m 25s
Publish
Fit to window
Zoom out
Zoom in

Annotations

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