Add dev.py implementing dev command shorthands
#4547
| Job | Run time |
|---|---|
| 8m 42s | |
| 9m 8s | |
| 9m 2s | |
| 8m 47s | |
| 2m 52s | |
| 38m 31s |
dev.py implementing dev command shorthands
#4547
| Job | Run time |
|---|---|
| 8m 42s | |
| 9m 8s | |
| 9m 2s | |
| 8m 47s | |
| 2m 52s | |
| 38m 31s |