Skip to content

Fix the rough edges of running proof - #9

Merged
bbatsov merged 3 commits into
mainfrom
rough-edges
Oct 23, 2026
Merged

Fix the rough edges of running proof#9
bbatsov merged 3 commits into
mainfrom
rough-edges

Take flags after the profile and scenarios too

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

Annotations

1 notice
test (macos-latest, go stable)
succeeded Oct 23, 2026 in 40s