Add dev.py
implementing dev command shorthands
#4595
Job | Run time |
---|---|
11m 57s | |
12m 45s | |
24m 42s |
dev.py
implementing dev command shorthands
#4595
Job | Run time |
---|---|
11m 57s | |
12m 45s | |
24m 42s |