This week the Jenkins pull request builders haven't been working correctly, probably due to an update in Jenkins itself or somewhere else. After migrating the Jenkins master from Ubuntu 12.04 to 16.04, I started configuring a different pull request builder plugin that Simon Charette recommended. It has some nice features that the current (broken) one doesn't have like automatic aborting of a running build if the PR is updated. Meanwhile, pull request checks aren't enabled. Sorry for the inconvenience. I hope things will be back to normal no later than early next week.
new plugin: https://wiki.jenkins-ci.org/display/JENKINS/GitHub+Integration+Plugin old plugin: https://wiki.jenkins-ci.org/display/JENKINS/GitHub+pull+request+builder+plugin -- You received this message because you are subscribed to the Google Groups "Django developers (Contributions to Django itself)" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-developers+unsubscr...@googlegroups.com. To post to this group, send email to django-developers@googlegroups.com. Visit this group at https://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/2c521328-8443-4f83-8e8b-0f38692a5518%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
