Skip to content
CI

proof-corpus: two new Method decompositions (prod prop_22, prop_23) #2321

Sign in to view logs

proof-corpus: two new Method decompositions (prod prop_22, prop_23)

proof-corpus: two new Method decompositions (prod prop_22, prop_23) #2321

Triggered via pull request June 19, 2026 22:19
@jasiszjasisz
opened #588
the-method-frontier
Status Success
Total duration 8m 29s
Artifacts –

ci.yml

on: pull_request
Check & Test
6m 0s
Check & Test
WASM
8m 26s
WASM
Bench Gate
0s
Bench Gate
WASM release build (main)
0s
WASM release build (main)
Fit to window
Zoom out
Zoom in