Skip to content

Capture Output command modified#22140

Draft
SkySkimmer wants to merge 12 commits into
rocq-prover:masterfrom
SkySkimmer:capture-out
Draft

Capture Output command modified#22140
SkySkimmer wants to merge 12 commits into
rocq-prover:masterfrom
SkySkimmer:capture-out

Assert Captured Output first attempt

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

Annotations

1 warning
Windows
succeeded Jun 19, 2026 in 34m 42s