Merge branch 'v99bugfix' of github.com:google/or-tools into v99bugfix #1613
| Job | Run time |
|---|---|
| 1m 48s | |
| 1h 37m 52s | |
| 1h 34m 21s | |
| 1h 25m 29s | |
| 1h 29m 11s | |
| 2m 37s | |
| 1h 21m 20s | |
| 7h 32m 38s |
| Job | Run time |
|---|---|
| 1m 48s | |
| 1h 37m 52s | |
| 1h 34m 21s | |
| 1h 25m 29s | |
| 1h 29m 11s | |
| 2m 37s | |
| 1h 21m 20s | |
| 7h 32m 38s |