Skip to content
Failed

Console Output

13:23:04 Started by an SCM change

13:23:04 Running as SYSTEM

13:23:04 [EnvInject] - Loading node environment variables.

13:23:04 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all

13:23:04 [isabelle-all] $ hg showconfig paths.default

13:23:05 [isabelle-all] $ hg pull --rev default

13:23:05 pulling from http://isabelle.in.tum.de/repos/isabelle/

13:23:05 abort: HTTP Error 500: Internal Server Error

13:23:05 ERROR: Failed to pull

13:23:05 ERROR: Failed to pull

13:23:05 Archiving artifacts

13:27:03 Started calculate disk usage of build

13:27:03 Finished Calculation of disk usage of build in 0 seconds

13:27:03 Started calculate disk usage of workspace

13:27:04 Finished Calculation of disk usage of workspace in 0 seconds

13:27:04 No emails were triggered.

13:27:04 Finished: FAILURE