Skip to content
Failed

Console Output

18:14:22 Started by upstream project "afp-repo" build number 515

18:14:22 originally caused by:

18:14:22 Started by an SCM change

18:14:22 [EnvInject] - Loading node environment variables.

18:14:22 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/afp-repo-afp

18:14:22 [afp-repo-afp] $ hg showconfig paths.default

18:14:22 [afp-repo-afp] $ hg pull --rev default

18:14:23 pulling from http://isabelle.in.tum.de/repos/isabelle/

18:14:23 searching for changes

18:14:23 adding changesets

18:14:23 adding manifests

18:14:23 adding file changes

18:14:23 added 2 changesets with 6 changes to 6 files

18:14:23 (run 'hg update' to get a working copy)

18:14:23 [afp-repo-afp] $ hg update --clean --rev default

18:14:23 6 files updated, 0 files merged, 0 files removed, 0 files unresolved

18:14:23 [afp-repo-afp] $ hg log --rev . --template {node}

18:14:23 [afp-repo-afp] $ hg log --rev . --template {rev}

18:14:23 [afp] $ hg showconfig paths.default

18:14:23 [afp] $ hg pull --rev 21eda5e99b8146e0e12f9a96c7fab2e67218ba5f

18:14:24 pulling from https://bitbucket.org/isa-afp/afp-devel/

18:14:24 searching for changes

18:14:24 adding changesets

18:14:24 adding manifests

18:14:24 adding file changes

18:14:24 added 1 changesets with 1 changes to 1 files

18:14:24 (run 'hg update' to get a working copy)

18:14:24 [afp] $ hg update --clean --rev 21eda5e99b8146e0e12f9a96c7fab2e67218ba5f

18:14:25 316 files updated, 0 files merged, 2 files removed, 0 files unresolved

18:14:25 [afp] $ hg --config extensions.purge= clean --all

18:14:25 [afp] $ hg log --rev . --template {node}

18:14:25 [afp] $ hg log --rev . --template {rev}

18:14:25 [afp] $ hg id --branch

18:14:25 No emails were triggered.

18:14:25 [afp-repo-afp] $ /bin/sh -xe /tmp/hudson1517194025771040850.sh

18:14:25 + Admin/jenkins/run_build afp

18:14:25 + set -e

18:14:25 + PROFILE=afp

18:14:25 + shift

18:14:25 + bin/isabelle components -a

18:14:25 ### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/scala-2.12.0"

18:14:25 Getting "https://isabelle.in.tum.de/components/scala-2.12.0.tar.gz"

18:14:26 Unpacking "/media/data/jenkins/.isabelle/contrib/scala-2.12.0.tar.gz"

18:14:26 + bin/isabelle jedit -bf

18:14:26 ### Building Isabelle/Scala ...

18:15:05 ### Building Isabelle/jEdit ...

18:15:22 + bin/isabelle ci_build_afp

18:15:26 *** java.lang.StackOverflowError

18:15:26 Build step 'Execute shell' marked build as failure

18:15:26 Archiving artifacts

18:16:10 Started calculate disk usage of build

18:16:10 Finished Calculation of disk usage of build in 0 seconds

18:16:11 Started calculate disk usage of workspace

18:16:12 Finished Calculation of disk usage of workspace in 1 second

18:16:12 Email was triggered for: Failure - 1st

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

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

18:16:12 Sending email for trigger: Failure - 1st

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

18:16:12 Finished: FAILURE