Skip to content
Back to pull request #11853

[Merged by Bors] - feat: lake exe mk_all as a Lean executable #34144

Sign in to view logs

[Merged by Bors] - feat: lake exe mk_all as a Lean executable

[Merged by Bors] - feat: lake exe mk_all as a Lean executable #34144

Check all files imported

Check all files imported
succeeded May 27, 2024 in 9s