Jenkins is back up now. The doc builds are not showing up in the github test notifications on the PR page, Kacper is looking into it. The doc builds are still firing for pull requests that touch the docs so if you want to check for doc build errors or look at the doc build you'll need to find the doc build manually in the jenkins interface:

On Wed, Mar 14, 2018 at 12:28 PM, Nathan Goldbaum <> wrote:
Hi all,

Kacper is currently fighting some fires with the Nebula cluster at NCSA. Until he's done Jenkins will be down. Please do not merge any PRs that have not passed the tests on Jenkins until it comes back up.

Thank you for your patience,