Skip to content

Update CI: Add Rocq 9.2#129

Merged
pi8027 merged 1 commit into
masterfrom
ci
Jun 19, 2026
Merged

Update CI: Add Rocq 9.2#129
pi8027 merged 1 commit into
masterfrom
ci

Update CI: Add Rocq 9.2

a08abb6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar