Add dev.py implementing dev command shorthands
#4519
| Job | Run time |
|---|---|
| 15m 48s | |
| 9m 56s | |
| 25m 44s |
dev.py implementing dev command shorthands
#4519
| Job | Run time |
|---|---|
| 15m 48s | |
| 9m 56s | |
| 25m 44s |