WebAssembly Publish

z3-4.12.4 #14

Sign in to view logs

Summary
Jobs
- Publish
Run details
- Usage
- Workflow file

Triggered via release December 6, 2023 17:01

published z3-4.12.4

Status Success

Total duration 11m 29s

Artifacts –

wasm-release.yml

on: release

Annotations

1 warning

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