lean: ship the module roots — lean cannot compile anything without them
#300
| Job | Run time |
|---|---|
| 5s | |
| 5s |
lean cannot compile anything without them
#300
| Job | Run time |
|---|---|
| 5s | |
| 5s |