Add dev.py
implementing dev command shorthands
#4619
Job | Run time |
---|---|
12m 26s | |
12m 58s | |
25m 24s |
dev.py
implementing dev command shorthands
#4619
Job | Run time |
---|---|
12m 26s | |
12m 58s | |
25m 24s |