Skip to content

Update Lean to v4.33.0-rc2 - #34

Draft
abentkamp wants to merge 2 commits into
devfrom
bump-lean
Draft

Update Lean to v4.33.0-rc2#34
abentkamp wants to merge 2 commits into
devfrom
bump-lean

Fix `lake build --iofail` under Lean v4.33

48f6fb4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
select-runner / select
succeeded Aug 5, 2026 in 2s