Skip to content
CI

aver proof --minimize: collapse each proof portfolio to its proven branch #2313

Sign in to view logs

aver proof --minimize: collapse each proof portfolio to its proven branch

aver proof --minimize: collapse each proof portfolio to its proven branch #2313

Triggered via pull request June 19, 2026 17:08
@jasiszjasisz
synchronize #585
lean-proof-minimize
Status Success
Total duration 8m 42s
Artifacts –

ci.yml

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