Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

21:00:05 Started by an SCM change


21:00:05 Running as SYSTEM


21:00:05 [EnvInject] - Loading node environment variables.


21:00:05 Building remotely on workerls21cluster (cluster) in workspace /media/data/jenkins/workspace/isabelle-distributed


21:00:05 [isabelle-distributed] $ hg showconfig paths.default


21:00:05 [isabelle-distributed] $ hg pull --rev default


21:00:05 pulling from http://isabelle.in.tum.de/repos/isabelle/


21:00:05 abort: HTTP Error 503: Service Unavailable


21:00:05 ERROR: Failed to pull


21:00:05 ERROR: Failed to pull


21:00:05 Started calculate disk usage of build


21:00:05 Finished Calculation of disk usage of build in 0 seconds


21:00:23 Started calculate disk usage of workspace


21:00:23 Finished Calculation of disk usage of workspace in 0 seconds


21:00:24 Finished: FAILURE