Skip to content

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

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

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

Annotations

1 warning

Add annotations

succeeded May 10, 2024 in 16s