Bump rewriter from 5d274d2
to 3e84ec2
(#1728)
#711
Job | Run time |
---|---|
38m 30s | |
51m 22s | |
2h 4m 0s | |
40m 32s | |
56m 53s | |
1h 36m 13s | |
1h 23m 59s | |
1h 0m 22s | |
1h 40m 2s | |
10h 51m 53s |
5d274d2
to 3e84ec2
(#1728)
#711
Job | Run time |
---|---|
38m 30s | |
51m 22s | |
2h 4m 0s | |
40m 32s | |
56m 53s | |
1h 36m 13s | |
1h 23m 59s | |
1h 0m 22s | |
1h 40m 2s | |
10h 51m 53s |