Merge branch 'highs' derived from PR #332 #176
Job | Run time |
---|---|
24s | |
21m 44s | |
22m 4s | |
30m 43s | |
30m 53s | |
13m 59s | |
13m 43s | |
21m 55s | |
22m 49s | |
30m 53s | |
13m 19s | |
13m 49s | |
13m 25s | |
22m 40s | |
16m 59s | |
30m 27s | |
31m 2s | |
13m 31s | |
13m 44s | |
20m 55s | |
15m 56s | |
29m 49s | |
29m 49s | |
13m 45s | |
13m 44s | |
22m 24s | |
23m 19s | |
13m 4s | |
12m 59s | |
13m 35s | |
13m 25s | |
28m 49s | |
29m 15s | |
13m 40s | |
13m 9s | |
11h 25m 40s |