Hey devs, can we disable Jenkins for our pull requests? They are failing, but Travis runs (mostly) succeed. I'm asking because because of the failed Jenkins builds, the main PR listing shows all PRs as failing builds. Furthermore, contributors might be confused by this.
If we want to keep both, can we investigate why Jenkins is failing? – Ufuk
