Console Output

21:15:01 Started by upstream project "isabelle-repo" build number 1621
21:15:01 originally caused by:
21:15:01  Started by an SCM change
21:15:01 [EnvInject] - Loading node environment variables.
21:15:01 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-repo-afp
21:15:01 [isabelle-repo-afp] $ hg showconfig paths.default
21:15:01 [isabelle-repo-afp] $ hg pull --rev c18af2b0f83e059b3f929e41b5de485c88d21148
21:15:02 pulling from http://isabelle.in.tum.de/repos/isabelle/
21:15:02 searching for changes
21:15:02 adding changesets
21:15:02 adding manifests
21:15:02 adding file changes
21:15:02 added 1 changesets with 1 changes to 1 files
21:15:02 (run 'hg update' to get a working copy)
21:15:02 [isabelle-repo-afp] $ hg update --clean --rev c18af2b0f83e059b3f929e41b5de485c88d21148
21:15:02 1 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:15:02 [isabelle-repo-afp] $ hg log --rev . --template {node}
21:15:02 [isabelle-repo-afp] $ hg log --rev . --template {rev}
21:15:02 [isabelle-repo-afp] $ hg id --branch
21:15:02 [afp] $ hg showconfig paths.default
21:15:02 [afp] $ hg pull --rev default
21:15:04 pulling from https://bitbucket.org/isa-afp/afp-devel/
21:15:04 searching for changes
21:15:04 adding changesets
21:15:04 adding manifests
21:15:04 adding file changes
21:15:04 added 8 changesets with 83 changes to 60 files
21:15:04 (run 'hg update' to get a working copy)
21:15:04 [afp] $ hg update --clean --rev default
21:15:05 472 files updated, 0 files merged, 1 files removed, 0 files unresolved
21:15:05 [afp] $ hg --config extensions.purge= clean --all
21:15:05 [afp] $ hg log --rev . --template {node}
21:15:05 [afp] $ hg log --rev . --template {rev}
21:15:05 No emails were triggered.
21:15:05 [isabelle-repo-afp] $ /bin/sh -xe /tmp/jenkins8173843239652543465.sh
21:15:05 + Admin/jenkins/run_build afp
21:15:05 + set -e
21:15:05 + PROFILE=afp
21:15:05 + shift
21:15:05 + bin/isabelle components -a
21:15:06 + bin/isabelle jedit -bf
21:15:06 ### Building Isabelle/Scala ...
21:15:33 ### Building Isabelle/jEdit ...
21:15:52 + bin/isabelle ci_build_afp
21:15:58 
21:15:58 === CONFIGURATION ===
21:15:58 
21:15:58 ISABELLE_BUILD_OPTIONS=""
21:15:58 
21:15:58 ML_PLATFORM="x86_64-linux"
21:15:58 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.7.1-5/x86_64-linux"
21:15:58 ML_SYSTEM="polyml-5.7.1"
21:15:58 ML_OPTIONS="-H 4000 --maxheap 8G"
21:15:59 
21:15:59 === BUILD ===
21:15:59 
21:15:59 Build started at Thu, 3 May 2018 19:15:58 GMT
21:15:59 Isabelle id c18af2b0f83e
21:15:59 AFP id 2db4d4904aab
21:15:59 
21:15:59 === LOG ===
21:15:59 
21:16:00 Session Pure/Pure
21:16:00 Session FOL/FOL
21:16:00 Session HOL/HOL (main)
21:16:01 Session AFP/AVL-Trees (AFP)
21:16:01 Session AFP/AWN (AFP)
21:16:01 Session AFP/Abortable_Linearizable_Modules (AFP)
21:16:01 Session AFP/Abstract-Hoare-Logics (AFP)
21:16:01 Session AFP/AnselmGod (AFP)
21:16:01 Session AFP/BinarySearchTree (AFP)
21:16:01 Session AFP/Binomial-Queues (AFP)
21:16:01 Session AFP/Bondy (AFP)
21:16:01 Session AFP/Bounded_Deducibility_Security (AFP)
21:16:01 Session AFP/BytecodeLogicJmlTypes (AFP)
21:16:01 Session AFP/CISC-Kernel (AFP)
21:16:01 Session AFP/CYK (AFP)
21:16:01 Session AFP/Cauchy (AFP)
21:16:01 Session AFP/Sqrt_Babylonian (AFP)
21:16:01 Session AFP/ClockSynchInst (AFP)
21:16:01 Session AFP/Compiling-Exceptions-Correctly (AFP)
21:16:01 Session AFP/ComponentDependencies (AFP)
21:16:01 Session AFP/Constructor_Funs (AFP)
21:16:01 Session AFP/CryptoBasedCompositionalProperties (AFP)
21:16:01 Session AFP/DPT-SAT-Solver (AFP)
21:16:01 Session AFP/Depth-First-Search (AFP)
21:16:01 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)
21:16:01 Session AFP/DiskPaxos (AFP)
21:16:01 Session AFP/Example-Submission (AFP)
21:16:01 Session AFP/FFT (AFP)
21:16:01 Session AFP/FLP (AFP)
21:16:01 Session AFP/FeatherweightJava (AFP)
21:16:02 Session AFP/Featherweight_OCL (AFP)
21:16:02 Session AFP/FileRefinement (AFP)
21:16:02 Session AFP/FocusStreamsCaseStudies (AFP)
21:16:02 Session AFP/Free-Boolean-Algebra (AFP)
21:16:02 Session AFP/FunWithFunctions (AFP)
21:16:02 Session AFP/FunWithTilings (AFP)
21:16:02 Session AFP/GPU_Kernel_PL (AFP)
21:16:02 Session AFP/Gauss-Jordan-Elim-Fun (AFP)
21:16:02 Session AFP/GenClock (AFP)
21:16:02 Session AFP/General-Triangle (AFP)
21:16:02 Session AFP/GoedelGod (AFP)
21:16:02 Session HOL/HOL-Eisbach
21:16:02 Session AFP/Allen_Calculus (AFP)
21:16:02 Session AFP/Dependent_SIFUM_Type_Systems (AFP)
21:16:02 Session AFP/Dependent_SIFUM_Refinement (AFP)
21:16:02 Session HOL/HOL-Hoare
21:16:02 Session AFP/Case_Labeling (AFP)
21:16:02 Session HOL/HOL-Lattice
21:16:02 Session HOL/HOL-Library (main timing)
21:16:03 Session AFP/ArrowImpossibilityGS (AFP)
21:16:03 *** Cannot load theory "HOL.FuncSet"
21:16:03 *** The error(s) above occurred in session "ArrowImpossibilityGS" (line 3 of "/media/data/jenkins/workspace/isabelle-repo-afp/afp/thys/ArrowImpossibilityGS/ROOT")
21:16:03 Build step 'Execute shell' marked build as failure
21:16:03 Archiving artifacts
21:16:59 Started calculate disk usage of build
21:16:59 Finished Calculation of disk usage of build in 0 seconds
21:17:23 Started calculate disk usage of workspace
21:17:24 Finished Calculation of disk usage of workspace in 0 seconds
21:17:24 Email was triggered for: Failure - 1st
21:17:24 Trigger Failure - Any was overridden by another trigger and will not send an email.
21:17:24 Trigger Failure - Still was overridden by another trigger and will not send an email.
21:17:24 Sending email for trigger: Failure - 1st
21:17:25 Sending email to: isabelle-ci@mail46.informatik.tu-muenchen.de
21:17:25 Finished: FAILURE