Hi, TL;TR: Is the auto cancellation [1] configured in the Travis CI settings for OSRM?
I've been git push -f updating one PR I submitted lately and I suspect the auto cancellation is not configured because arrival of new commit does not cancel the PR build job and the CI resources are unnecessarily kept busy. Perhaps the auto-cancellation could be enabled, for PRs only. [1] https://docs.travis-ci.com/user/customizing-the-build#Building-only-the-latest-commit Best regards, -- Mateusz Loskot, http://mateusz.loskot.net _______________________________________________ OSRM-talk mailing list [email protected] https://lists.openstreetmap.org/listinfo/osrm-talk
