Merge branch 'latest' into test-highs-version #7221
Job | Run time |
---|---|
1m 54s | |
3m 32s | |
7m 23s | |
5m 10s | |
9m 35s | |
1m 54s | |
7m 28s | |
12m 47s | |
9m 59s | |
8m 44s | |
11m 38s | |
9m 59s | |
1h 30m 3s |
Job | Run time |
---|---|
1m 54s | |
3m 32s | |
7m 23s | |
5m 10s | |
9m 35s | |
1m 54s | |
7m 28s | |
12m 47s | |
9m 59s | |
8m 44s | |
11m 38s | |
9m 59s | |
1h 30m 3s |