[tei-council] Mr. Jenkins getting lazy?

I committed a change to GitHub TEIC/TEI/ dev branch last night, 13 hours ago according to GitHub. I do not understand the difference between the TEIP5-dev, TEIP5-Documentation-dev, and TEIP5-Test-dev jobs on Jenkins. But looking at http://jenkins.tei-c.org/view/TEI%20dev/, it is clear that none of these jobs has run for at least 18 hours. Shouldn't at least one of them? Why won't Mr. Jenkins build the new dev branch of the TEI Guidelines? I think he hates me. Snif.