Skip to content
WebAssembly Build

minor simplification during internalization #2469

Sign in to view logs

minor simplification during internalization

minor simplification during internalization #2469

Triggered via push December 3, 2023 20:43
@NikolajBjornerNikolajBjorner
pushed 1b1ebaa
master
Status Success
Total duration 12m 3s
Artifacts –

wasm.yml

on: push
Check
11m 55s
Check
Fit to window
Zoom out
Zoom in

Annotations

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