Merge branch 'main' of github.com:google/or-tools #853
| Job | Run time |
|---|---|
| 1h 10m 43s | |
| 1h 15m 0s | |
| 1h 19m 56s | |
| 1h 13m 49s | |
| 1h 2m 57s | |
| 1h 3m 24s | |
| 1h 11m 2s | |
| 1h 2m 17s | |
| 55m 36s | |
| 57m 15s | |
| 1h 6m 43s | |
| 1h 2m 18s | |
| 1h 1m 37s | |
| 1h 5m 55s | |
| 1h 10m 46s | |
| 1h 4m 18s | |
| 54m 22s | |
| 1h 0m 39s | |
| 1h 5m 47s | |
| 1h 0m 50s | |
| 54m 51s | |
| 59m 9s | |
| 1h 4m 45s | |
| 59m 46s | |
| 53m 26s | |
| 58m 20s | |
| 1h 4m 58s | |
| 58m 58s | |
| 1d 5h 39m 27s |