BLD: Travis dedup via webhooks

[kawochen]

Came across this just now https://github.com/grosser/travis_dedup
It sounds like it cancels old builds on a PR. It works via github webhooks.

[jreback]

oh that looks nice. ok i'll try this when I have some time.

[jreback]

ok I setup this webhook, let's monitor and see if this works

[gliptak]

@jreback I have seen builds cancelled for out-of-date (repushed) commits when working #12833

[jreback]

that was me :) sometimes I cancel the dups

[jorisvandenbossche]

For inspiration, there is a script in this PR on conda-forge to do something like this: conda-forge/staged-recipes#2257

[jreback]

that's nice will steal!

[jreback]

https://blog.travis-ci.com/2017-03-22-introducing-auto-cancellation

on the day we push this feature....hahah

[jorisvandenbossche]

That's a timing :-)

Question is if they still run all jobs of a build once one job is started. Because if not, the script still has some use.

[jreback]

actual what they have is very nice
the second you push a new PR the original is completely cancelled

the script has to launch and it individually cancels - takes about 1 min per

[jreback]

and their feature allows cancellation on your own branch as well :>