build: clean up build.py a bit (#11)
#85
| Job | Run time |
|---|---|
| 13m 29s | |
| 4m 50s | |
| 30s | |
| 3m 5s | |
| 1m 17s | |
| 0s | |
| 23m 11s |
build.py a bit (#11)
#85
| Job | Run time |
|---|---|
| 13m 29s | |
| 4m 50s | |
| 30s | |
| 3m 5s | |
| 1m 17s | |
| 0s | |
| 23m 11s |