Skip to content

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

52a4962
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/21609 #283

Adapt to https://github.com/rocq-prover/rocq/pull/21478
52a4962
Select commit
Loading
Failed to load commit list.

Annotations

4 warnings
build-with-make (coqorg/coq:8.20)
succeeded May 21, 2026 in 11m 2s