Skip to content

Update lean4 toolchain to v4.28.0#55

Merged
paulcadman merged 1 commit intomainfrom
update-toolchain
Mar 11, 2026
Merged

Update lean4 toolchain to v4.28.0#55
paulcadman merged 1 commit intomainfrom
update-toolchain

Conversation

@paulcadman
Copy link
Copy Markdown
Collaborator

No description provided.

Update linux build to use Ubuntu 24.04

The libuv dependency is too old for lean now and we need to install LLVM
c++ stdlib manually
@paulcadman paulcadman merged commit 8de68fd into main Mar 11, 2026
2 checks passed
@paulcadman paulcadman deleted the update-toolchain branch March 11, 2026 16:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant