Merge branch 'main' of github.com:google/or-tools #1670
Job | Run time |
---|---|
1m 59s | |
1h 36m 6s | |
1h 11m 28s | |
1h 22m 2s | |
1h 24m 12s | |
2m 42s | |
1h 19m 14s | |
6h 57m 43s |
Job | Run time |
---|---|
1m 59s | |
1h 36m 6s | |
1h 11m 28s | |
1h 22m 2s | |
1h 24m 12s | |
2m 42s | |
1h 19m 14s | |
6h 57m 43s |