Bump rewriter from 5d274d2
to 3e84ec2
(#1728)
#42
Job | Run time |
---|---|
2h 54m 44s | |
55s | |
21s | |
3h 20m 21s | |
4s | |
6h 16m 25s |
5d274d2
to 3e84ec2
(#1728)
#42
Job | Run time |
---|---|
2h 54m 44s | |
55s | |
21s | |
3h 20m 21s | |
4s | |
6h 16m 25s |