Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21478

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

Adapt to https://github.com/rocq-prover/rocq/pull/21478 #46

Adapt to https://github.com/rocq-prover/rocq/pull/21478
7093573
Select commit
Loading
Failed to load commit list.
build (master, coq libcoq-core-ocaml-dev, ppa:jgross-h/coq-master-daily)
succeeded Feb 10, 2026 in 47m 43s