Add dev.py implementing dev command shorthands
#4549
| Job | Run time |
|---|---|
| 14m 38s | |
| 7m 48s | |
| 22m 26s |
dev.py implementing dev command shorthands
#4549
| Job | Run time |
|---|---|
| 14m 38s | |
| 7m 48s | |
| 22m 26s |