Merge branch 'main' of github.com:google/or-tools #1671
Job | Run time |
---|---|
58m 59s | |
58m 51s | |
57m 59s | |
58m 5s | |
58m 57s | |
57m 18s | |
57m 9s | |
59m 26s | |
59m 51s | |
57m 26s | |
57m 12s | |
58m 30s | |
56m 36s | |
59m 48s | |
58m 22s | |
14h 34m 29s |
Job | Run time |
---|---|
58m 59s | |
58m 51s | |
57m 59s | |
58m 5s | |
58m 57s | |
57m 18s | |
57m 9s | |
59m 26s | |
59m 51s | |
57m 26s | |
57m 12s | |
58m 30s | |
56m 36s | |
59m 48s | |
58m 22s | |
14h 34m 29s |