Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/22124#2370

Merged
jdchristensen merged 1 commit into
HoTT:masterfrom
proux01:rocq22124
Jun 16, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/22124#2370
jdchristensen merged 1 commit into
HoTT:masterfrom
proux01:rocq22124

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

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

Annotations

2 warnings
opam-build (9.1, ubuntu-latest)
succeeded Jun 16, 2026 in 4m 17s