[Merged by Bors] - feat: lake exe mk_all
as a Lean executable
#53586
Job | Run time |
---|---|
19s | |
19s |
lake exe mk_all
as a Lean executable
#53586
Job | Run time |
---|---|
19s | |
19s |