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