What happened to mine was very weird: two of the jobs lost their git configuration completely. I think it could have happened during one of the frequent updates to the Jenkins git plugin. I've reconfigured them and the Documentation-dev job is running now. But I did notice on my own local machine that a problem with the debian tei-p5-database/debian/changelog file blocked my git pull; I had to delete the file to get it to pull properly. We'll see if that's aproblem down the line for P5-dev when it gets to it. Cheers, Martin On 2018-01-20 09:22 AM, Hugh Cayless wrote:
Pretty sure Paderborn is jenkins2 now.
Sent from my phone.
On Jan 20, 2018, at 12:17, Syd Bauman
wrote: Could someone post the URLs of each of our Jenkins servers?
Hmmm ... no need, as it seems like the doc at https://wiki.tei-c.org/index.php/Setting_up_a_Jenkins_server which says it is out of date actually has the correct URLs:
* Victoria = http://jenkins.tei-c.org/ * Oxford = http://jenkins2.tei-c.org/ * Paderborn = http://jenkins-paderborn.tei-c.org/
Are there other servers? Are there other URLs for these?
(Yes, Elisa, I know there *will be* another server. :-) -- 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