Bump rewriter from 9d2e4c9
to 26f5c84
(#1654)
#652
Job | Run time |
---|---|
1h 24m 48s | |
1h 5m 48s | |
2h 12m 15s | |
1h 14m 56s | |
1h 5m 47s | |
3h 15m 4s | |
10h 18m 38s |
9d2e4c9
to 26f5c84
(#1654)
#652
Job | Run time |
---|---|
1h 24m 48s | |
1h 5m 48s | |
2h 12m 15s | |
1h 14m 56s | |
1h 5m 47s | |
3h 15m 4s | |
10h 18m 38s |