Merge branch 'main' of github.com:google/or-tools #1470
Job | Run time |
---|---|
1h 1m 40s | |
1h 3m 34s | |
1h 10m 31s | |
1h 4m 47s | |
1h 28m 9s | |
1h 36m 33s | |
1h 35m 24s | |
1h 31m 23s | |
1h 15m 20s | |
1h 18m 39s | |
1h 22m 50s | |
1h 17m 11s | |
1h 8m 29s | |
1h 14m 6s | |
1h 17m 36s | |
1h 13m 46s | |
1h 4m 48s | |
1h 10m 41s | |
1h 14m 28s | |
1h 10m 40s | |
1h 3m 0s | |
1h 8m 8s | |
1h 12m 4s | |
1h 8m 53s | |
1h 1m 23s | |
1h 7m 0s | |
1h 10m 35s | |
1h 1m 22s | |
1h 12m 40s | |
1h 15m 31s | |
1h 24m 0s | |
1h 15m 1s | |
1d 15h 20m 12s |