Skip to content

Update Lean and Rocq toolchains#828

Merged
stepchowfun merged 2 commits into
mainfrom
update-dependencies-2026-04-25
Apr 26, 2026
Merged

Update Lean and Rocq toolchains#828
stepchowfun merged 2 commits into
mainfrom
update-dependencies-2026-04-25

Use an opam-published Rocq version in CI

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

Annotations

1 warning
Validate
succeeded Apr 26, 2026 in 24m 13s