Skip to content

testsuite: correct stale command-execution and exit-code docstrings - #145

Merged
mfornet merged 1 commit into
mainfrom
claude/fix-testsuite-docstrings
Jul 14, 2026
Merged

testsuite: correct stale command-execution and exit-code docstrings#145
mfornet merged 1 commit into
mainfrom
claude/fix-testsuite-docstrings

testsuite: correct stale command-execution and exit-code docstrings

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

Annotations

1 warning
Build & verify proofs
succeeded Jul 14, 2026 in 5m 16s