Merge branch 'main' of github.com:google/or-tools #296
Job | Run time |
---|---|
31m 42s | |
22m 32s | |
27m 6s | |
22m 48s | |
20m 22s | |
20m 57s | |
20m 40s | |
27m 34s | |
22m 43s | |
23m 11s | |
27m 41s | |
29m 24s | |
19m 22s | |
26m 0s | |
20m 0s | |
24m 54s | |
19m 59s | |
21m 3s | |
24m 44s | |
23m 2s | |
17m 47s | |
20m 32s | |
19m 39s | |
23m 34s | |
23m 11s | |
29m 13s | |
30m 21s | |
20m 32s | |
11h 0m 33s |