Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

11:17:05 Started by an SCM change


11:17:05 Running as SYSTEM


11:17:05 [EnvInject] - Loading node environment variables.


11:17:05 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all


11:17:05 [isabelle-all] $ hg showconfig paths.default


11:17:05 [isabelle-all] $ hg pull --rev default


11:17:05 pulling from http://isabelle.in.tum.de/repos/isabelle/


11:17:05 abort: HTTP Error 500: Internal Server Error


11:17:05 ERROR: Failed to pull


11:17:05 ERROR: Failed to pull


11:17:05 Archiving artifacts


11:21:11 Started calculate disk usage of build


11:21:11 Finished Calculation of disk usage of build in 0 seconds


11:21:18 Started calculate disk usage of workspace


11:21:19 Finished Calculation of disk usage of workspace in 0 seconds


11:21:19 No emails were triggered.


11:21:19 Finished: FAILURE