Re: [OMPI devel] OMPI devel] Travis: one thing that might help

2017-02-09 Thread Josh Hursey
Looking at the IBM Jenkins setup we definitely have that option under "Build Triggers" -> "GitHub Pull Request Builder" -> "Trigger Setup" Then you can "Add" the "Cancel build on update" I'm not sure how well that would work for our setup (We would need the ability to drop a script in when it can

Re: [OMPI devel] OMPI devel] Travis: one thing that might help

2017-02-09 Thread Jeff Squyres (jsquyres)
On Feb 9, 2017, at 4:38 AM, Gilles Gouaillardet wrote: > > Or maybe it used to be the case ... > see https://github.com/jenkinsci/ghprb-plugin/issues/379 for how to activate > this feature. LANL / Mellanox / IBM: can you guys check to see if you have this option set on your Jenkins? > Back t

Re: [OMPI devel] OMPI devel] Travis: one thing that might help

2017-02-09 Thread Gilles Gouaillardet
Jeff, Or maybe it used to be the case ... see https://github.com/jenkinsci/ghprb-plugin/issues/379 for how to activate this feature. Back to travis, this feature is scheduled to happen in 2017Q1, See https://github.com/grosser/travis_dedup Cheers, Gilles Gilles Gouaillardet wrote: >Jeff, > >

Re: [OMPI devel] Travis: one thing that might help

2017-02-09 Thread Gilles Gouaillardet
Jeff, i made the test and it seems i got it wrong ... no travis build is cancelled when new commits are pushed into a PR :-( i could only note Mellanox Jenkins has a "stop" icon, so a build can be manually cancelled. LANL Jenkins nor Travis offer this option. Sorry for the confusion, Gi