10-31-2015, 11:55 PM
An easier solution is to create a PR from the coverity branch and push there from time to time, thus triggering the PR builds instead of the push builds. I've already created the PR, but for some reason it doesn't seem to be working.
https://github.com/cuberite/cuberite/pull/2546
https://github.com/cuberite/cuberite/pull/2546