Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21851 - #588

Merged
proux01 merged 1 commit into
math-comp:masterfrom
proux01:rocq21851
Apr 2, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21851#588
proux01 merged 1 commit into
math-comp:masterfrom
proux01:rocq21851

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

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

Annotations

3 errors and 1 warning

The logs for this run have expired and are no longer available.