Skip to content

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

93398ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

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

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

Annotations

10 warnings
8.16 (fiat-core parsers parsers-examples coq-ci)
succeeded Jan 27, 2026 in 6m 42s