Started by timer
Running in Durability level: MAX_SURVIVABILITY
[Pipeline] Start of Pipeline
[Pipeline] node
Running on workerlrz6 in /media/data/jenkins/workspace/isabelle-dump
[Pipeline] {
[Pipeline] timeout
Timeout set to expire in 1 day 6 hr
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Prepare)
[Pipeline] cleanWs
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Checkout)
[Pipeline] script
[Pipeline] {
[Pipeline] httpRequest
HttpMethod: GET
URL: https://ci.isabelle.systems/jenkins/job/isabelle-all/lastSuccessfulBuild/api/xml?tree=actions[*[_class,mercurialNodeName]]&xpath=freeStyleBuild/action[@_class=%22hudson.plugins.mercurial.MercurialTagAction%22]/mercurialNodeName&wrapper=revs
Sending request to url: https://ci.isabelle.systems/jenkins/job/isabelle-all/lastSuccessfulBuild/api/xml?tree=actions[*[_class,mercurialNodeName]]&xpath=freeStyleBuild/action[@_class=%22hudson.plugins.mercurial.MercurialTagAction%22]/mercurialNodeName&wrapper=revs
Response Code: HTTP/1.1 200 OK
Success code from [100‥399]
[Pipeline] }
[Pipeline] // script
[Pipeline] checkout
$ hg clone --rev cc36841eeff6b25b72ade1e08879c630cc377738 --noupdate https://isabelle.in.tum.de/repos/isabelle /media/data/jenkins/workspace/isabelle-dump
abort: error: Connection timed out
ERROR: Failed to clone https://isabelle.in.tum.de/repos/isabelle
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Install)
Stage "Install" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Dump)
Stage "Dump" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Store)
Stage "Store" skipped due to earlier failure(s)
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // timeout
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline
ERROR: Failed to clone https://isabelle.in.tum.de/repos/isabelle
Finished: FAILURE