Skip to content

Fix saving using --auto on CLI#3943

Merged
wadoon merged 1 commit into
mainfrom
fix-auto-save
Jul 25, 2026
Merged

Fix saving using --auto on CLI#3943
wadoon merged 1 commit into
mainfrom
fix-auto-save

Fix --auto on CLI

643dc31
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllWdProofs, ubuntu-latest, 21)
succeeded Jul 25, 2026 in 4m 43s