[Merged by Bors] - feat: lake exe mk_all
as a Lean executable
#34144
Job | Run time |
---|---|
9s | |
50s | |
59s |
lake exe mk_all
as a Lean executable
#34144
Job | Run time |
---|---|
9s | |
50s | |
59s |