WebAssembly Build

enable higher-order matching in mam/smt_quantifier #7401

Sign in to view logs

Triggered via push May 23, 2026 00:06

master

Status Success

Total duration 18m 14s

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.