Add dev.py implementing dev command shorthands
#4646
| Job | Run time |
|---|---|
| 12m 1s | |
| 12m 42s | |
| 24m 43s |
dev.py implementing dev command shorthands
#4646
| Job | Run time |
|---|---|
| 12m 1s | |
| 12m 42s | |
| 24m 43s |