Skip to content

S8: a smoke test that checks more, and Lean from its GitHub release in CI - #108

Merged
SwayamInSync merged 4 commits into
mainfrom
ci/smoke-test
Oct 28, 2026
Merged

S8: a smoke test that checks more, and Lean from its GitHub release in CI#108
SwayamInSync merged 4 commits into
mainfrom
ci/smoke-test

ci: Install the pinned Lean from its GitHub release, as releases.lean…

1b19e44
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar