Add dev.py implementing dev command shorthands
#4545
| Job | Run time |
|---|---|
| 17m 46s | |
| 10m 0s | |
| 27m 46s |
dev.py implementing dev command shorthands
#4545
| Job | Run time |
|---|---|
| 17m 46s | |
| 10m 0s | |
| 27m 46s |