Skip to content
WebAssembly Build

Update z3 #1

Sign in to view logs

Update z3

Update z3 #1

Triggered via pull request September 26, 2023 17:50
@jurajsicjurajsic
opened #100
update_z3
Status Cancelled
Total duration 1m 55s
Artifacts –

wasm.yml

on: pull_request
Check
1m 43s
Check
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Check
The run was canceled by @jurajsic.
Check
The operation was canceled.
Check
No cached files found at path "/home/runner/work/z3-noodler/z3-noodler/emsdk-cache" - downloading and caching emsdk.