Merge branch 'v99bugfix' of github.com:google/or-tools into v99bugfix #1873
| Job | Run time |
|---|---|
| 1h 5m 14s | |
| 1h 5m 1s | |
| 1h 2m 2s | |
| 1h 1m 16s | |
| 1h 6m 41s | |
| 1h 4m 10s | |
| 1h 3m 53s | |
| 1h 4m 13s | |
| 1h 3m 35s | |
| 1h 4m 22s | |
| 1h 8m 18s | |
| 1h 4m 7s | |
| 1h 3m 24s | |
| 1h 2m 6s | |
| 1h 5m 30s | |
| 16h 3m 52s |
| Job | Run time |
|---|---|
| 1h 5m 14s | |
| 1h 5m 1s | |
| 1h 2m 2s | |
| 1h 1m 16s | |
| 1h 6m 41s | |
| 1h 4m 10s | |
| 1h 3m 53s | |
| 1h 4m 13s | |
| 1h 3m 35s | |
| 1h 4m 22s | |
| 1h 8m 18s | |
| 1h 4m 7s | |
| 1h 3m 24s | |
| 1h 2m 6s | |
| 1h 5m 30s | |
| 16h 3m 52s |