Skip to content

Experiment: process nursery - #22298

Draft
SkySkimmer wants to merge 3 commits into
rocq-prover:masterfrom
SkySkimmer:nursery
Draft

Experiment: process nursery#22298
SkySkimmer wants to merge 3 commits into
rocq-prover:masterfrom
SkySkimmer:nursery

force nursery mode in rocq makefile

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

Annotations

1 warning
Windows
succeeded Jul 22, 2026 in 35m 54s