Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21947#714

Merged
SkySkimmer merged 1 commit into
rocq-prover:mainfrom
proux01:rocq21947
May 28, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21947#714
SkySkimmer merged 1 commit into
rocq-prover:mainfrom
proux01:rocq21947

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

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

Annotations

1 warning
rocq-core
succeeded May 28, 2026 in 44s