Skip to content

Update Lean and GitHub Actions - #839

Merged
stepchowfun merged 1 commit into
mainfrom
update-deps
Aug 2, 2026
Merged

Update Lean and GitHub Actions#839
stepchowfun merged 1 commit into
mainfrom
update-deps

Update Lean and GitHub Actions

3c9a9c2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Validate
succeeded Aug 2, 2026 in 23m 48s