Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

17:08:02 Started by an SCM change


17:08:02 Running as SYSTEM


17:08:02 [EnvInject] - Loading node environment variables.


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


17:08:02 [isabelle-all] $ hg showconfig paths.default


17:08:02 [isabelle-all] $ hg pull --rev default


17:08:02 pulling from http://isabelle.in.tum.de/repos/isabelle/


17:08:02 abort: HTTP Error 500: Internal Server Error


17:08:02 ERROR: Failed to pull


17:08:02 ERROR: Failed to pull


17:08:02 Archiving artifacts


17:12:03 Started calculate disk usage of build


17:12:03 Finished Calculation of disk usage of build in 0 seconds


17:12:11 Started calculate disk usage of workspace


17:12:12 Finished Calculation of disk usage of workspace in 0 seconds


17:12:12 Email was triggered for: Failure - 1st


17:12:12 Trigger Failure - Any was overridden by another trigger and will not send an email.


17:12:12 Trigger Failure - Still was overridden by another trigger and will not send an email.


17:12:12 Sending email for trigger: Failure - 1st


17:12:12 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de


17:13:12 Finished: FAILURE