CI: stop relying on custom zarith pin #1981
Job | Run time |
---|---|
6m 32s | |
5m 13s | |
5m 22s | |
5m 9s | |
5m 7s | |
6m 29s | |
5m 19s | |
11m 58s | |
20m 29s | |
13m 18s | |
23m 55s | |
18m 17s | |
13m 20s | |
2h 20m 28s |
Job | Run time |
---|---|
6m 32s | |
5m 13s | |
5m 22s | |
5m 9s | |
5m 7s | |
6m 29s | |
5m 19s | |
11m 58s | |
20m 29s | |
13m 18s | |
23m 55s | |
18m 17s | |
13m 20s | |
2h 20m 28s |