Hi Mateusz, auto-cancellation on Travis is enabled. It only cancels pending builds though, so does not kick in for force pushes if the build is already running.
The Travis situation has been quite unsatisfactory recently, mostly due to slow Mac OS builds. We are trying to come up with solutions to improve on that. Best, Johan On Thu, Feb 1, 2018 at 6:23 PM, Mateusz Loskot <mate...@loskot.net> wrote: > 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 > OSRM-talk@openstreetmap.org > https://lists.openstreetmap.org/listinfo/osrm-talk >
_______________________________________________ OSRM-talk mailing list OSRM-talk@openstreetmap.org https://lists.openstreetmap.org/listinfo/osrm-talk
