Merge branch 'v99bugfix' of github.com:google/or-tools into v99bugfix #1804
| Job | Run time |
|---|---|
| 1h 26m 51s | |
| 1h 28m 39s | |
| 1h 28m 12s | |
| 1h 35m 6s | |
| 1h 26m 57s | |
| 1h 30m 44s | |
| 1h 27m 37s | |
| 1h 25m 52s | |
| 1h 27m 13s | |
| 1h 26m 32s | |
| 1h 26m 37s | |
| 16h 10m 20s |
| Job | Run time |
|---|---|
| 1h 26m 51s | |
| 1h 28m 39s | |
| 1h 28m 12s | |
| 1h 35m 6s | |
| 1h 26m 57s | |
| 1h 30m 44s | |
| 1h 27m 37s | |
| 1h 25m 52s | |
| 1h 27m 13s | |
| 1h 26m 32s | |
| 1h 26m 37s | |
| 16h 10m 20s |