[OSRM-talk] [Travis CI] Auto Cancellation for pull requests?
Mateusz Loskot
mateusz at loskot.net
Thu Feb 1 17:23:13 UTC 2018
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
More information about the OSRM-talk
mailing list