Skip to content

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

fa2b730
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/21947 #2311

Adapt to https://github.com/rocq-prover/rocq/pull/21947
fa2b730
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings
test-c
succeeded Apr 23, 2026 in 40s