Consistently use ZZ/QQ
instead of mix of ZZ/QQ
and FlintZZ/FlintQQ
#2295
Job | Run time |
---|---|
15m 22s | |
8m 58s | |
9m 39s | |
10m 3s | |
10m 14s | |
11m 30s | |
9m 59s | |
10m 57s | |
1h 26m 42s |