Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

01:33:12 Started by an SCM change


01:33:12 Running as SYSTEM


01:33:12 [EnvInject] - Loading node environment variables.


01:33:12 Building remotely on workerlrz5 (lrz-cloud) in workspace /media/data/jenkins/workspace/isabelle-nightly-slow


01:33:12 [isabelle-nightly-slow] $ hg showconfig paths.default


01:33:13 [isabelle-nightly-slow] $ hg pull --rev default


01:33:13 pulling from https://isabelle.in.tum.de/repos/isabelle/


01:33:13 abort: error: Temporary failure in name resolution


01:33:13 ERROR: Failed to pull


01:33:13 ERROR: Failed to pull


01:33:13 Archiving artifacts


01:33:28 Started calculate disk usage of build


01:33:28 Finished Calculation of disk usage of build in 0 seconds


01:33:34 Started calculate disk usage of workspace


01:33:34 Finished Calculation of disk usage of workspace in 0 seconds


01:33:36 Email was triggered for: Failure - 1st


01:33:36 Trigger Failure - Any was overridden by another trigger and will not send an email.


01:33:36 Trigger Failure - Still was overridden by another trigger and will not send an email.


01:33:36 Sending email for trigger: Failure - 1st


01:33:36 Sending email to: isabelle-ci@mailman46.in.tum.de


01:33:36 Finished: FAILURE