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 workermta1 (mta_big) 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:11 no changes found
00:50:11 [isabelle-nightly-benchmark] $ hg update --clean --rev default
00:50:11 85 files updated, 0 files merged, 10 files removed, 0 files unresolved
00:50:11 [isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all
00:50:11 [isabelle-nightly-benchmark] $ hg log --rev . --template {node}
00:50:12 [isabelle-nightly-benchmark] $ hg log --rev . --template {rev}
00:50:12 [isabelle-nightly-benchmark] $ hg log --rev 4a708e15090896b394fce8c59f266aeb1cbc50c1 --template exists\n
00:50:12 exists
00:50:12 [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(4a708e15090896b394fce8c59f266aeb1cbc50c1)" --encoding UTF-8 --encodingmode replace
00:50:12 No emails were triggered.
00:50:12 [isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins2155817929277472373.sh
00:50:12 + Admin/jenkins/run_build benchmark
00:50:12 + set -e
00:50:12 + PROFILE=benchmark
00:50:12 + shift
00:50:12 + bin/isabelle components -a
00:50:12 + bin/isabelle jedit -bf
00:50:12 ### Building graph browser ...
00:50:12 warning: [options] bootstrap class path not set in conjunction with -source 7
00:50:12 warning: [options] source value 7 is obsolete and will be removed in a future release
00:50:12 warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
00:50:13 Note: Some input files use or override a deprecated API.
00:50:13 Note: Recompile with -Xlint:deprecation for details.
00:50:13 Note: Some input files use unchecked or unsafe operations.
00:50:13 Note: Recompile with -Xlint:unchecked for details.
00:50:13 3 warnings
00:50:14 ### Building Isabelle/Scala ...
00:50:43 ### Building Isabelle/jEdit ...
00:50:59 + bin/isabelle ocaml_setup
00:50:59 # Run eval $(opam env) to update the current shell environment
00:51:00 [NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
00:51:00        opam update
00:51:00 
00:51:00 [NOTE] Package zarith is already installed (current version is 1.12).
00:51:00 + bin/isabelle ghc_setup
00:51:02 stack will use a sandboxed GHC it installed
00:51:02 For more information on paths, see 'stack path' and 'stack exec env'
00:51:02 To use this GHC and packages outside of a project, consider using:
00:51:02 stack ghc, stack ghci, stack runghc, or stack exec
00:51:02 The Glorious Glasgow Haskell Compilation System, version 8.10.4
00:51:03 + bin/isabelle ci_build_benchmark
00:51:05 *** Error in line 12:
00:51:05 *** type mismatch;
00:51:05 ***  found   : Unit
00:51:05 ***  required: __wrapper$1$0946b188de2e4daab084d68555ca3c43.profile.Result
00:51:05 *** Error in line 13:
00:51:05 *** type mismatch;
00:51:05 ***  found   : Unit
00:51:05 ***  required: __wrapper$1$0946b188de2e4daab084d68555ca3c43.profile.Result
00:51:05 *** The error(s) above occurred in Isabelle/Scala tool "/media/data/jenkins/workspace/isabelle-nightly-benchmark/Admin/jenkins/build/ci_build_benchmark.scala"
00:51:05 Build step 'Execute shell' marked build as failure
00:51:05 Archiving artifacts
00:51:05 Started calculate disk usage of build
00:51:05 Finished Calculation of disk usage of build in 0 seconds
00:51:08 Started calculate disk usage of workspace
00:51:09 Finished Calculation of disk usage of workspace in 0 seconds
00:51:09 Email was triggered for: Failure - 1st
00:51:09 Trigger Failure - Any was overridden by another trigger and will not send an email.
00:51:09 Trigger Failure - Still was overridden by another trigger and will not send an email.
00:51:09 Sending email for trigger: Failure - 1st
00:51:09 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
00:51:09 Finished: FAILURE