Skip to content

ci: Add GitHub Actions for Rust, Lean and Rocq#1

Open
ycastorium wants to merge 4 commits into
mainfrom
ci
Open

ci: Add GitHub Actions for Rust, Lean and Rocq#1
ycastorium wants to merge 4 commits into
mainfrom
ci

Commits

Commits on Mar 13, 2026