CI: stop relying on custom zarith pin #1977
Job | Run time |
---|---|
6m 40s | |
5m 31s | |
6m 37s | |
6m 17s | |
6m 23s | |
5m 17s | |
5m 11s | |
14m 52s | |
20m 50s | |
16m 16s | |
18m 10s | |
21m 2s | |
12m 55s | |
2h 26m 1s |
Job | Run time |
---|---|
6m 40s | |
5m 31s | |
6m 37s | |
6m 17s | |
6m 23s | |
5m 17s | |
5m 11s | |
14m 52s | |
20m 50s | |
16m 16s | |
18m 10s | |
21m 2s | |
12m 55s | |
2h 26m 1s |