Bump coqprime from 6c225a2
to 845c00c
#4693
Job | Run time |
---|---|
3h 34m 8s | |
2h 2m 16s | |
21s | |
16s | |
14s | |
15s | |
14s | |
18s | |
16s | |
13s | |
15s | |
16s | |
16s | |
14s | |
11s | |
11s | |
1s | |
5h 39m 55s |
6c225a2
to 845c00c
#4693
Job | Run time |
---|---|
3h 34m 8s | |
2h 2m 16s | |
21s | |
16s | |
14s | |
15s | |
14s | |
18s | |
16s | |
13s | |
15s | |
16s | |
16s | |
14s | |
11s | |
11s | |
1s | |
5h 39m 55s |