Download ginac/cln archive instead of using git repo #159
Job | Run time |
---|---|
11m 48s | |
7m 51s | |
11m 52s | |
7m 43s | |
7m 0s | |
7m 3s | |
6m 53s | |
6m 35s | |
7m 33s | |
7m 10s | |
4s | |
1h 21m 32s |
Job | Run time |
---|---|
11m 48s | |
7m 51s | |
11m 52s | |
7m 43s | |
7m 0s | |
7m 3s | |
6m 53s | |
6m 35s | |
7m 33s | |
7m 10s | |
4s | |
1h 21m 32s |