Running in Durability level: MAX_SURVIVABILITY
Running on workerlrz6 in /media/data/jenkins/workspace/isabelle-dump
[WS-CLEANUP] Deleting project workspace...
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
$ 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
Stage "Install" skipped due to earlier failure(s)
Stage "Dump" skipped due to earlier failure(s)
Stage "Store" skipped due to earlier failure(s)
ERROR: Failed to clone https://isabelle.in.tum.de/repos/isabelle