Started by an SCM change
[EnvInject] - Loading node environment variables.
Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-nightly-benchmark
[isabelle-nightly-benchmark] $ hg showconfig paths.default
[isabelle-nightly-benchmark] $ hg pull --rev default
pulling from http://isabelle.in.tum.de/repos/isabelle/
searching for changes
no changes found
[isabelle-nightly-benchmark] $ hg update --clean --rev default
1 files updated, 0 files merged, 0 files removed, 0 files unresolved
[isabelle-nightly-benchmark] $ hg --config extensions.purge= clean --all
[isabelle-nightly-benchmark] $ hg log --rev . --template {node}
[isabelle-nightly-benchmark] $ hg log --rev . --template {rev}
[isabelle-nightly-benchmark] $ hg log --rev d93fe3557a98ff1cef9f5681ab13c1a15a8f785b --template exists\n
exists
[isabelle-nightly-benchmark] $ hg log --template "{desc|xmlescape}{file_adds|stringify|xmlescape}{file_dels|stringify|xmlescape}{files|stringify|xmlescape}{parents}\n" --rev "ancestors('default') and not ancestors(d93fe3557a98ff1cef9f5681ab13c1a15a8f785b)" --encoding UTF-8 --encodingmode replace
No emails were triggered.
[isabelle-nightly-benchmark] $ /bin/sh -xe /tmp/jenkins1155566106458745143.sh
+ Admin/jenkins/run_build benchmark
+ set -e
+ PROFILE=benchmark
+ shift
+ bin/isabelle components -a
+ bin/isabelle jedit -bf
### Building graph browser ...
warning: [options] bootstrap class path not set in conjunction with -source 6
warning: [options] source value 6 is obsolete and will be removed in a future release
warning: [options] To suppress warnings about obsolete options, use -Xlint:-options.
Note: Some input files use or override a deprecated API.
Note: Recompile with -Xlint:deprecation for details.
Note: Some input files use unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
3 warnings
### Building Isabelle/Scala ...
java.io.FileNotFoundException: isabelle/Build_Log$$anonfun$1.class (No such file or directory)
at java.base/java.io.FileInputStream.open0(Native Method)
at java.base/java.io.FileInputStream.open(FileInputStream.java:219)
at java.base/java.io.FileInputStream.(FileInputStream.java:157)
at jdk.jartool/sun.tools.jar.Main.copy(Main.java:1257)
at jdk.jartool/sun.tools.jar.Main.addFile(Main.java:1206)
at jdk.jartool/sun.tools.jar.Main.create(Main.java:874)
at jdk.jartool/sun.tools.jar.Main.run(Main.java:319)
at jdk.jartool/sun.tools.jar.Main.main(Main.java:1676)
Failed to produce /media/data/jenkins/workspace/isabelle-nightly-benchmark/lib/classes/Pure.jar
Build step 'Execute shell' marked build as failure
Archiving artifacts
Started calculate disk usage of build
Finished Calculation of disk usage of build in 0 seconds
Started calculate disk usage of workspace
Finished Calculation of disk usage of workspace in 0 seconds
Email was triggered for: Failure - 1st
Trigger Failure - Any was overridden by another trigger and will not send an email.
Trigger Failure - Still was overridden by another trigger and will not send an email.
Sending email for trigger: Failure - 1st
Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
Finished: FAILURE