Skip to content

[release] 9.3.0 backports - #22316

Draft
gares wants to merge 5 commits into
rocq-prover:v9.3from
gares:9.3.0-backports
Draft

[release] 9.3.0 backports#22316
gares wants to merge 5 commits into
rocq-prover:v9.3from
gares:9.3.0-backports

Backport PR #22321: CI: fetch Iris and std++ from github mirrors

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

Annotations

1 warning
Windows
succeeded Jul 30, 2026 in 35m 52s