Could this be the issue? https://support.cloudbees.com/hc/en-us/articles/224621648-GitHub-Webhook-Tro... Elisa -- Elisa Beshero-Bondar, PhD Director, Center for the Digital Text Associate Professor of English University of Pittsburgh at Greensburg 150 Finoli Drive, Greensburg, PA 15601 USA E-mail: ebb8@pitt.edu | Development site: http://newtfire.org Typeset by hand on my iPad
On Jan 20, 2018, at 10:26 AM, Syd Bauman
wrote: 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. -- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council
PLEASE NOTE: postings to this list are publicly archived