chore(prover): Fixes broken non-GPU setup (#2953) #1742
Job | Run time |
---|---|
5s | |
4s | |
13m 54s | |
2m 18s | |
7m 51s | |
9m 37s | |
6m 20s | |
9m 25s | |
13m 17s | |
6m 53s | |
6m 42s | |
7m 16s | |
12m 5s | |
8m 18s | |
5m 15s | |
4m 52s | |
19m 24s | |
24s | |
34s | |
26s | |
28s | |
28s | |
35s | |
20m 19s | |
2h 36m 50s |