Skip to content

coq-makefile/package-install cleanup and extension#22249

Open
SkySkimmer wants to merge 3 commits into
rocq-prover:masterfrom
SkySkimmer:clean-pack-test
Open

coq-makefile/package-install cleanup and extension#22249
SkySkimmer wants to merge 3 commits into
rocq-prover:masterfrom
SkySkimmer:clean-pack-test

package-install test depending on a non legacy package

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

Annotations

1 warning
Linux (latest OCaml)
succeeded Jul 9, 2026 in 7m 47s