Skip to content

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

Merged
tchajed merged 1 commit into
masterfrom
rocq21947
Apr 23, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21947#49
tchajed merged 1 commit into
masterfrom
rocq21947

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

1bc8675
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar