Skip to content
WebAssembly Build

Unit propagation on monomials #2220

Sign in to view logs

Unit propagation on monomials

Unit propagation on monomials #2220

Triggered via pull request September 19, 2023 17:56
@levnachlevnach
synchronize #6905
unit_prop_on_monomials
Status Success
Total duration 23m 22s
Artifacts –

wasm.yml

on: pull_request
Check
23m 11s
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.