Console Output

21:05:07 Started by an SCM change
21:05:07 [EnvInject] - Loading node environment variables.
21:05:07 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all
21:05:07 [isabelle-all] $ hg showconfig paths.default
21:05:07 [isabelle-all] $ hg pull --rev default
21:05:08 pulling from http://isabelle.in.tum.de/repos/isabelle/
21:05:08 no changes found
21:05:08 [isabelle-all] $ hg update --clean --rev default
21:05:08 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:05:08 [isabelle-all] $ hg log --rev . --template {node}
21:05:08 [isabelle-all] $ hg log --rev . --template {rev}
21:05:08 [isabelle-all] $ hg log --rev 66dad580507980fda7249041aec73eef9927ad8f --template exists\n
21:05:08 exists
21:05:08 [isabelle-all] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(66dad580507980fda7249041aec73eef9927ad8f)" --encoding UTF-8 --encodingmode replace
21:05:08 [afp] $ hg showconfig paths.default
21:05:08 [afp] $ hg pull --rev default
21:05:09 pulling from https://bitbucket.org/isa-afp/afp-devel/
21:05:09 no changes found
21:05:09 [afp] $ hg update --clean --rev default
21:05:10 8 files updated, 0 files merged, 0 files removed, 0 files unresolved
21:05:10 [afp] $ hg --config extensions.purge= clean --all
21:05:10 [afp] $ hg log --rev . --template {node}
21:05:10 [afp] $ hg log --rev . --template {rev}
21:05:10 [afp] $ hg log --rev f086cb88f5400e20fd14f5f618b40bbd348fcacc --template exists\n
21:05:10 exists
21:05:10 [afp] $ hg log --template "<changeset node='{node}' author='{author|xmlescape}' rev='{rev}' date='{date}'><msg>{desc|xmlescape}</msg><added>{file_adds|stringify|xmlescape}</added><deleted>{file_dels|stringify|xmlescape}</deleted><files>{files|stringify|xmlescape}</files><parents>{parents}</parents></changeset>\n" --rev "ancestors('default') and not ancestors(f086cb88f5400e20fd14f5f618b40bbd348fcacc)" --encoding UTF-8 --encodingmode replace
21:05:10 No emails were triggered.
21:05:10 [isabelle-all] $ /bin/sh -xe /tmp/jenkins2108668156819641244.sh
21:05:10 + Admin/jenkins/run_build all
21:05:10 + set -e
21:05:10 + PROFILE=all
21:05:10 + shift
21:05:10 + bin/isabelle components -a
21:05:10 + bin/isabelle jedit -bf
21:05:10 ### Building Isabelle/Scala ...
21:05:40 ### Building Isabelle/jEdit ...
21:05:57 + bin/isabelle ocaml_setup
21:05:57 # Run eval $(opam env) to update the current shell environment
21:05:58 [NOTE] Package zarith is already installed (current version is 1.7).
21:05:58 + bin/isabelle ghc_setup
21:05:59 stack will use a sandboxed GHC it installed
21:05:59 For more information on paths, see 'stack path' and 'stack exec env'
21:05:59 To use this GHC and packages outside of a project, consider using:
21:05:59 stack ghc, stack ghci, stack runghc, or stack exec
21:05:59 The Glorious Glasgow Haskell Compilation System, version 8.4.4
21:05:59 + bin/isabelle ci_build_all
21:06:05 
21:06:05 === CONFIGURATION ===
21:06:05 
21:06:05 ISABELLE_BUILD_OPTIONS=""
21:06:05 
21:06:05 ML_PLATFORM="x86_64_32-linux"
21:06:05 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8/x86_64_32-linux"
21:06:05 ML_SYSTEM="polyml-5.8"
21:06:05 ML_OPTIONS="-H 4000 --maxheap 8G"
21:06:05 jobs = 10, threads = 4, numa = false
21:06:05 
21:06:05 === BUILD ===
21:06:05 
21:06:05 Build started at Sun, 7 Apr 2019 19:06:05 GMT
21:06:05 Isabelle id 66dad5805079
21:06:05 AFP id 766205938e9a
21:06:05 
21:06:05 === LOG ===
21:06:05 
21:06:07 Session Pure/Pure
21:06:07 Session CTT/CTT
21:06:07 Session Cube/Cube
21:06:07 Session FOL/FOL
21:06:07 Session CCL/CCL
21:06:07 Session FOL/FOL-ex
21:06:07 Session FOLP/FOLP
21:06:07 Session FOLP/FOLP-ex
21:06:07 Session HOL/HOL (main)
21:06:08 Session AFP/AVL-Trees (AFP)
21:06:08 Session AFP/AWN (AFP)
21:06:08 Session AFP/Abortable_Linearizable_Modules (AFP)
21:06:08 Session AFP/Abstract-Hoare-Logics (AFP)
21:06:08 Session AFP/AnselmGod (AFP)
21:06:08 Session AFP/AxiomaticCategoryTheory (AFP)
21:06:08 Session AFP/BinarySearchTree (AFP)
21:06:08 Session AFP/Binomial-Queues (AFP)
21:06:08 Session AFP/Bondy (AFP)
21:06:08 Session AFP/Bounded_Deducibility_Security (AFP)
21:06:08 Session AFP/BytecodeLogicJmlTypes (AFP)
21:06:08 Session AFP/CISC-Kernel (AFP)
21:06:08 Session AFP/CYK (AFP)
21:06:08 Session AFP/Cauchy (AFP)
21:06:09 Session AFP/Sqrt_Babylonian (AFP)
21:06:09 Session Doc/Classes (doc)
21:06:09 Session AFP/ClockSynchInst (AFP)
21:06:09 Session AFP/Compiling-Exceptions-Correctly (AFP)
21:06:09 Session AFP/ComponentDependencies (AFP)
21:06:09 Session AFP/Concurrent_Revisions (AFP)
21:06:09 Session AFP/Constructor_Funs (AFP)
21:06:09 Session AFP/CryptoBasedCompositionalProperties (AFP)
21:06:09 Session AFP/DPT-SAT-Solver (AFP)
21:06:09 Session AFP/Depth-First-Search (AFP)
21:06:09 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)
21:06:09 Session AFP/DiskPaxos (AFP)
21:06:09 Session AFP/Example-Submission (AFP)
21:06:09 Session AFP/FFT (AFP)
21:06:09 Session AFP/FLP (AFP)
21:06:09 Session AFP/FeatherweightJava (AFP)
21:06:09 Session AFP/Featherweight_OCL (AFP)
21:06:09 Session AFP/FileRefinement (AFP)
21:06:09 Session AFP/FocusStreamsCaseStudies (AFP)
21:06:09 Session AFP/Free-Boolean-Algebra (AFP)
21:06:09 Session AFP/FunWithFunctions (AFP)
21:06:09 Session AFP/FunWithTilings (AFP)
21:06:09 Session Doc/Functions (doc)
21:06:09 Session AFP/GPU_Kernel_PL (AFP)
21:06:09 Session AFP/Gauss-Jordan-Elim-Fun (AFP)
21:06:09 Session AFP/GenClock (AFP)
21:06:09 Session AFP/General-Triangle (AFP)
21:06:09 Session AFP/Generic_Deriving (AFP)
21:06:09 Session AFP/GewirthPGCProof (AFP)
21:06:09 Session AFP/GoedelGod (AFP)
21:06:09 Session HOL/HOL-Cardinals (timing)
21:06:10 Session AFP/Ordinals_and_Cardinals (AFP)
21:06:10 Session AFP/Sort_Encodings (AFP)
21:06:10 *** Cannot load theory "HOL-Library.Countable_Set_Type"
21:06:10 *** The error(s) above occurred in session "Sort_Encodings" (line 3 of "/media/data/jenkins/workspace/isabelle-all/afp/thys/Sort_Encodings/ROOT")
21:06:10 Build step 'Execute shell' marked build as failure
21:06:10 Archiving artifacts
21:09:25 Started calculate disk usage of build
21:09:25 Finished Calculation of disk usage of build in 0 seconds
21:09:37 Started calculate disk usage of workspace
21:09:38 Finished Calculation of disk usage of workspace in 0 seconds
21:09:38 No emails were triggered.
21:09:38 Finished: FAILURE