WebAssembly Build

add projection with witnesses #3299

Sign in to view logs

Summary
Jobs
- Check
Run details
- Usage
- Workflow file

Triggered via push November 27, 2024 18:26

master

Status Success

Total duration 13m 28s

Artifacts –

wasm.yml

on: push

Annotations

1 warning

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