addons/namingng.py: Reinstate dict-with-regexps, cosmetic overhaul. #10414
Job | Run time |
---|---|
49s | |
1m 28s | |
2m 52s | |
45s | |
2m 51s | |
3m 3s | |
3m 42s | |
2m 52s | |
2m 52s | |
2m 51s | |
24m 5s |
Job | Run time |
---|---|
49s | |
1m 28s | |
2m 52s | |
45s | |
2m 51s | |
3m 3s | |
3m 42s | |
2m 52s | |
2m 52s | |
2m 51s | |
24m 5s |