make: Fix OR_TOOLS_PATCH computation #1441
Job | Run time |
---|---|
59m 16s | |
1h 1m 24s | |
1h 8m 58s | |
1h 4m 43s | |
1h 22m 17s | |
1h 41m 23s | |
1h 30m 39s | |
1h 29m 31s | |
1h 11m 15s | |
1h 12m 7s | |
1h 24m 30s | |
1h 17m 25s | |
1h 7m 33s | |
1h 10m 16s | |
1h 16m 22s | |
1h 10m 41s | |
1h 2m 8s | |
1h 6m 5s | |
1h 11m 19s | |
1h 7m 34s | |
1h 1m 22s | |
1h 8m 17s | |
1h 11m 51s | |
1h 6m 6s | |
57m 21s | |
1h 1m 32s | |
1h 8m 14s | |
1h 2m 25s | |
1h 8m 46s | |
1h 13m 8s | |
1h 21m 50s | |
1h 14m 51s | |
1d 14h 11m 9s |