Merge branch 'main' of github.com:google/or-tools #1902
Job | Run time |
---|---|
25m 14s | |
25m 5s | |
29m 14s | |
25m 21s | |
24m 45s | |
25m 19s | |
25m 51s | |
25m 10s | |
26m 15s | |
25m 27s | |
30m 40s | |
30m 40s | |
31m 20s | |
30m 41s | |
30m 58s | |
6h 52m 0s |
Job | Run time |
---|---|
25m 14s | |
25m 5s | |
29m 14s | |
25m 21s | |
24m 45s | |
25m 19s | |
25m 51s | |
25m 10s | |
26m 15s | |
25m 27s | |
30m 40s | |
30m 40s | |
31m 20s | |
30m 41s | |
30m 58s | |
6h 52m 0s |