Skip to content
Failed

Console Output

00:50:10 Started by an SCM change

00:50:10 Running as SYSTEM

00:50:10 [EnvInject] - Loading node environment variables.

00:50:10 Building remotely on workermtahpc (mta_hpc) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark

00:50:10 [isabelle-nightly-benchmark] $ hg showconfig paths.default

00:50:10 [isabelle-nightly-benchmark] $ hg pull --rev default

00:50:10 pulling from http://isabelle.in.tum.de/repos/isabelle/

00:50:10 real URL is https://isabelle.in.tum.de/repos/isabelle/

00:50:10 no changes found

00:50:10 [isabelle-nightly-benchmark] $ hg update --clean --rev default

00:50:10 11 files updated, 0 files merged, 2 files removed, 0 files unresolved

00:50:10 [isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all

00:50:11 [isabelle-nightly-benchmark] $ hg log --rev . --template {node}

00:50:11 [isabelle-nightly-benchmark] $ hg log --rev . --template {rev}

00:50:11 [isabelle-nightly-benchmark] $ hg log --rev 1f2e78b7df933ed17d934f08382da2ef78c181e1 --template exists\n

00:50:11 exists

00:50:11 [isabelle-nightly-benchmark] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg>{file_adds % '<addedFile>{file|xmlescape}</addedFile>'}{file_dels % '<deletedFile>{file|xmlescape}</deletedFile>'}{files % '<file>{file|xmlescape}</file>'}<parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(1f2e78b7df933ed17d934f08382da2ef78c181e1)" --encoding UTF-8 --encodingmode replace

00:50:11 No emails were triggered.

00:50:11 [isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins1171349171239298689.sh

00:50:11 + Admin/jenkins/run_build benchmark

00:50:11 + set -e

00:50:11 + PROFILE=benchmark

00:50:11 + shift

00:50:11 + bin/isabelle components -a

00:50:12 + bin/isabelle jedit -bf

00:50:12 ### Building Isabelle/Scala (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle.jar) ...

00:51:12 ### Building graph browser (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle_graphbrowser.jar) ...

00:51:14 Note: Some input files use unchecked or unsafe operations.

00:51:14 Note: Recompile with -Xlint:unchecked for details.

00:51:14 ### Building Isabelle/Scala/Admin (/media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/isabelle_admin.jar) ...

00:51:14 + bin/isabelle ocaml_setup

00:51:14 # Run eval $(opam env) to update the current shell environment

00:51:15 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:

00:51:15 opam update

00:51:15

00:51:16 [NOTE] Package zarith is already installed (current version is 1.12).

00:51:16 + bin/isabelle ghc_setup

00:51:17 stack will use a sandboxed GHC it installed

00:51:17 For more information on paths, see 'stack path' and 'stack exec env'

00:51:17 To use this GHC and packages outside of a project, consider using:

00:51:17 stack ghc, stack ghci, stack runghc, or stack exec

00:51:17 The Glorious Glasgow Haskell Compilation System, version 8.10.7

00:51:18 + bin/isabelle ci_build benchmark

00:51:20 *** Unknown job"benchmark"

00:51:20 Build step 'Execute shell' marked build as failure

00:51:20 Archiving artifacts

00:51:20 Started calculate disk usage of build

00:51:20 Finished Calculation of disk usage of build in 0 seconds

00:51:20 Started calculate disk usage of workspace

00:51:20 Finished Calculation of disk usage of workspace in 0 seconds

00:51:20 Email was triggered for: Failure - 1st

00:51:20 Trigger Failure - Any was overridden by another trigger and will not send an email.

00:51:20 Trigger Failure - Still was overridden by another trigger and will not send an email.

00:51:20 Sending email for trigger: Failure - 1st

00:51:20 Sending email to: isabelle-ci@mailman46.in.tum.de

00:51:21 Finished: FAILURE