Repository navigation

Fix the rough edges of running proof - #9

Merged

bbatsov merged 3 commits into

mainfrom

Oct 23, 2026

Merged

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

Commits on Oct 23, 2026
- Stop failing Babashka for a reply REPLy wouldn't show anyway
  bbatsov
  committed
  e66b83b
- Let proof run and proof proxy use the bundled profiles by name
  bbatsov
  committed
  0164077
- Take flags after the profile and scenarios too
  bbatsov
  committed
  9ea8ad4