Skip to content

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

Closed
ycastorium wants to merge 39 commits into
mainfrom
ci
Closed

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

ci: Add protoc setup

e8f055b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar