Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

21:11:43 Started by an SCM change


21:11:43 [EnvInject] - Loading node environment variables.


21:11:43 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-all


21:11:43 [isabelle-all] $ hg showconfig paths.default


21:11:43 [isabelle-all] $ hg pull --rev default


21:11:43 pulling from http://isabelle.in.tum.de/repos/isabelle/


21:11:43 no changes found


21:11:43 [isabelle-all] $ hg update --clean --rev default


21:11:43 1 files updated, 0 files merged, 0 files removed, 0 files unresolved


21:11:43 [isabelle-all] $ hg log --rev . --template {node}


21:11:43 [isabelle-all] $ hg log --rev . --template {rev}


21:11:43 [isabelle-all] $ hg log --rev 66dad580507980fda7249041aec73eef9927ad8f --template exists\n


21:11:43 exists


21:11:43 [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:11:44 [afp] $ hg showconfig paths.default


21:11:44 [afp] $ hg pull --rev default


21:11:45 pulling from https://bitbucket.org/isa-afp/afp-devel/


21:11:45 no changes found


21:11:45 [afp] $ hg update --clean --rev default


21:11:45 0 files updated, 0 files merged, 0 files removed, 0 files unresolved


21:11:45 [afp] $ hg --config extensions.purge= clean --all


21:11:45 [afp] $ hg log --rev . --template {node}


21:11:45 [afp] $ hg log --rev . --template {rev}


21:11:45 [afp] $ hg log --rev 766205938e9a39839b0a239077fd2012c7a606e3 --template exists\n


21:11:45 exists


21:11:45 [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(766205938e9a39839b0a239077fd2012c7a606e3)" --encoding UTF-8 --encodingmode replace


21:11:46 No emails were triggered.


21:11:46 [isabelle-all] $ /bin/sh -xe /tmp/jenkins1042319268557694830.sh


21:11:46 + Admin/jenkins/run_build all


21:11:46 + set -e


21:11:46 + PROFILE=all


21:11:46 + shift


21:11:46 + bin/isabelle components -a


21:11:46 + bin/isabelle jedit -bf


21:11:46 ### Building Isabelle/Scala ...


21:12:15 ### Building Isabelle/jEdit ...


21:12:32 + bin/isabelle ocaml_setup


21:12:33 # Run eval $(opam env) to update the current shell environment


21:12:33 [NOTE] Package zarith is already installed (current version is 1.7).


21:12:33 + bin/isabelle ghc_setup


21:12:34 stack will use a sandboxed GHC it installed


21:12:34 For more information on paths, see 'stack path' and 'stack exec env'


21:12:34 To use this GHC and packages outside of a project, consider using:


21:12:34 stack ghc, stack ghci, stack runghc, or stack exec


21:12:34 The Glorious Glasgow Haskell Compilation System, version 8.4.4


21:12:34 + bin/isabelle ci_build_all


21:12:40 

21:12:40 === CONFIGURATION ===


21:12:40 

21:12:40 ISABELLE_BUILD_OPTIONS=""


21:12:40 

21:12:40 ML_PLATFORM="x86_64_32-linux"


21:12:40 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.8/x86_64_32-linux"


21:12:40 ML_SYSTEM="polyml-5.8"


21:12:40 ML_OPTIONS="-H 4000 --maxheap 8G"


21:12:40 jobs = 10, threads = 4, numa = false


21:12:40 

21:12:40 === BUILD ===


21:12:40 

21:12:40 Build started at Sun, 7 Apr 2019 19:12:40 GMT


21:12:40 Isabelle id 36821db2e356


21:12:40 AFP id 766205938e9a


21:12:40 

21:12:40 === LOG ===


21:12:40 

21:12:42 Session Pure/Pure


21:12:42 Session CTT/CTT


21:12:42 Session Cube/Cube


21:12:42 Session FOL/FOL


21:12:42 Session CCL/CCL


21:12:42 Session FOL/FOL-ex


21:12:42 Session FOLP/FOLP


21:12:42 Session FOLP/FOLP-ex


21:12:42 Session HOL/HOL (main)


21:12:43 Session AFP/AVL-Trees (AFP)


21:12:43 Session AFP/AWN (AFP)


21:12:43 Session AFP/Abortable_Linearizable_Modules (AFP)


21:12:43 Session AFP/Abstract-Hoare-Logics (AFP)


21:12:43 Session AFP/AnselmGod (AFP)


21:12:43 Session AFP/AxiomaticCategoryTheory (AFP)


21:12:43 Session AFP/BinarySearchTree (AFP)


21:12:43 Session AFP/Binomial-Queues (AFP)


21:12:43 Session AFP/Bondy (AFP)


21:12:43 Session AFP/Bounded_Deducibility_Security (AFP)


21:12:43 Session AFP/BytecodeLogicJmlTypes (AFP)


21:12:43 Session AFP/CISC-Kernel (AFP)


21:12:43 Session AFP/CYK (AFP)


21:12:44 Session AFP/Cauchy (AFP)


21:12:44 Session AFP/Sqrt_Babylonian (AFP)


21:12:44 Session Doc/Classes (doc)


21:12:44 Session AFP/ClockSynchInst (AFP)


21:12:44 Session AFP/Compiling-Exceptions-Correctly (AFP)


21:12:44 Session AFP/ComponentDependencies (AFP)


21:12:44 Session AFP/Concurrent_Revisions (AFP)


21:12:44 Session AFP/Constructor_Funs (AFP)


21:12:44 Session AFP/CryptoBasedCompositionalProperties (AFP)


21:12:44 Session AFP/DPT-SAT-Solver (AFP)


21:12:44 Session AFP/Depth-First-Search (AFP)


21:12:44 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)


21:12:44 Session AFP/DiskPaxos (AFP)


21:12:44 Session AFP/Example-Submission (AFP)


21:12:44 Session AFP/FFT (AFP)


21:12:44 Session AFP/FLP (AFP)


21:12:44 Session AFP/FeatherweightJava (AFP)


21:12:44 Session AFP/Featherweight_OCL (AFP)


21:12:44 Session AFP/FileRefinement (AFP)


21:12:44 Session AFP/FocusStreamsCaseStudies (AFP)


21:12:44 Session AFP/Free-Boolean-Algebra (AFP)


21:12:44 Session AFP/FunWithFunctions (AFP)


21:12:44 Session AFP/FunWithTilings (AFP)


21:12:44 Session Doc/Functions (doc)


21:12:44 Session AFP/GPU_Kernel_PL (AFP)


21:12:44 Session AFP/Gauss-Jordan-Elim-Fun (AFP)


21:12:44 Session AFP/GenClock (AFP)


21:12:44 Session AFP/General-Triangle (AFP)


21:12:44 Session AFP/Generic_Deriving (AFP)


21:12:44 Session AFP/GewirthPGCProof (AFP)


21:12:45 Session AFP/GoedelGod (AFP)


21:12:45 Session HOL/HOL-Cardinals (timing)


21:12:45 Session AFP/Ordinals_and_Cardinals (AFP)


21:12:45 Session AFP/Sort_Encodings (AFP)


21:12:45 *** Cannot load theory "HOL-Library.Countable_Set_Type"


21:12:45 *** The error(s) above occurred in session "Sort_Encodings" (line 3 of "/media/data/jenkins/workspace/isabelle-all/afp/thys/Sort_Encodings/ROOT")


21:12:45 Build step 'Execute shell' marked build as failure


21:12:45 Archiving artifacts


21:15:56 Started calculate disk usage of build


21:15:56 Finished Calculation of disk usage of build in 0 seconds


21:15:56 Started calculate disk usage of workspace


21:15:57 Finished Calculation of disk usage of workspace in 0 seconds


21:15:57 No emails were triggered.


21:15:57 Finished: FAILURE