CI: stop relying on custom zarith pin (#1490) #1989
Job | Run time |
---|---|
5m 18s | |
4m 46s | |
5m 58s | |
5m 10s | |
5m 3s | |
4m 55s | |
4m 58s | |
15m 37s | |
21m 8s | |
28m 22s | |
26m 16s | |
20m 56s | |
43m 40s | |
3h 12m 7s |
Job | Run time |
---|---|
5m 18s | |
4m 46s | |
5m 58s | |
5m 10s | |
5m 3s | |
4m 55s | |
4m 58s | |
15m 37s | |
21m 8s | |
28m 22s | |
26m 16s | |
20m 56s | |
43m 40s | |
3h 12m 7s |