Skip to content

Run 3: say planned, drop 'not yet proposed' - #40

Merged
wbnns merged 1 commit into
mainfrom
opssat/run3-drop-not-proposed
Oct 24, 2026
Merged

wbnns merged 1 commit into
mainfrom
opssat/run3-drop-not-proposed

Run 3: say planned, drop 'not yet proposed'

bd6b106
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Kani proofs
succeeded Oct 24, 2026 in 1m 37s