Merge branch 'main' of github.com:google/or-tools #267
Job | Run time |
---|---|
10m 36s | |
1h 16m 34s | |
3m 31s | |
1h 35m 45s | |
3m 29s | |
1h 46m 26s | |
1h 48m 6s | |
6h 44m 27s |
Job | Run time |
---|---|
10m 36s | |
1h 16m 34s | |
3m 31s | |
1h 35m 45s | |
3m 29s | |
1h 46m 26s | |
1h 48m 6s | |
6h 44m 27s |