Skip to content
[Jenkins]Jenkins
log in
Failed

Console Output

15:19:16 Started by upstream project "isabelle-repo" build number 1698


15:19:16 originally caused by:


15:19:16  Started by an SCM change


15:19:16 [EnvInject] - Loading node environment variables.


15:19:16 Building remotely on workermta1 (mta_big) in workspace /media/data/jenkins/workspace/isabelle-repo-afp


15:19:16 [isabelle-repo-afp] $ hg showconfig paths.default


15:19:16 [isabelle-repo-afp] $ hg pull --rev e9b5f25f6712aaa9016cc85e43d2fbbbd6e98932


15:19:17 pulling from http://isabelle.in.tum.de/repos/isabelle/


15:19:17 searching for changes


15:19:17 adding changesets


15:19:17 adding manifests


15:19:17 adding file changes


15:19:17 added 1 changesets with 4 changes to 4 files


15:19:17 (run 'hg update' to get a working copy)


15:19:17 [isabelle-repo-afp] $ hg update --clean --rev e9b5f25f6712aaa9016cc85e43d2fbbbd6e98932


15:19:17 4 files updated, 0 files merged, 1 files removed, 0 files unresolved


15:19:17 [isabelle-repo-afp] $ hg log --rev . --template {node}


15:19:17 [isabelle-repo-afp] $ hg log --rev . --template {rev}


15:19:17 [isabelle-repo-afp] $ hg id --branch


15:19:17 [afp] $ hg showconfig paths.default


15:19:17 [afp] $ hg pull --rev default


15:19:19 pulling from https://bitbucket.org/isa-afp/afp-devel/


15:19:19 searching for changes


15:19:19 adding changesets


15:19:19 adding manifests


15:19:19 adding file changes


15:19:19 added 5 changesets with 48 changes to 35 files


15:19:19 (run 'hg update' to get a working copy)


15:19:19 [afp] $ hg update --clean --rev default


15:19:19 443 files updated, 0 files merged, 0 files removed, 0 files unresolved


15:19:19 [afp] $ hg --config extensions.purge= clean --all


15:19:20 [afp] $ hg log --rev . --template {node}


15:19:20 [afp] $ hg log --rev . --template {rev}


15:19:20 No emails were triggered.


15:19:20 [isabelle-repo-afp] $ /bin/sh -xe /tmp/jenkins7491856111719659196.sh


15:19:20 + Admin/jenkins/run_build afp


15:19:20 + set -e


15:19:20 + PROFILE=afp


15:19:20 + shift


15:19:20 + bin/isabelle components -a


15:19:20 + bin/isabelle jedit -bf


15:19:21 ### Building Isabelle/Scala ...


15:19:49 ### Building Isabelle/jEdit ...


15:20:08 + bin/isabelle ci_build_afp


15:20:14 

15:20:14 === CONFIGURATION ===


15:20:14 

15:20:14 ISABELLE_BUILD_OPTIONS=""


15:20:14 

15:20:14 ML_PLATFORM="x86_64-linux"


15:20:14 ML_HOME="/media/data/jenkins/.isabelle/contrib/polyml-5.7.1-5/x86_64-linux"


15:20:14 ML_SYSTEM="polyml-5.7.1"


15:20:14 ML_OPTIONS="-H 4000 --maxheap 8G"


15:20:15 

15:20:15 === BUILD ===


15:20:15 

15:20:15 Build started at Tue, 29 May 2018 13:20:14 GMT


15:20:15 Isabelle id e9b5f25f6712


15:20:15 AFP id 01c546b8665a


15:20:15 

15:20:15 === LOG ===


15:20:15 

15:20:16 Session Pure/Pure


15:20:16 Session FOL/FOL


15:20:16 Session HOL/HOL (main)


15:20:17 Session AFP/AVL-Trees (AFP)


15:20:17 Session AFP/AWN (AFP)


15:20:17 Session AFP/Abortable_Linearizable_Modules (AFP)


15:20:17 Session AFP/Abstract-Hoare-Logics (AFP)


15:20:17 Session AFP/AnselmGod (AFP)


15:20:17 Session AFP/AxiomaticCategoryTheory (AFP)


15:20:17 Session AFP/BinarySearchTree (AFP)


15:20:17 Session AFP/Binomial-Queues (AFP)


15:20:17 Session AFP/Bondy (AFP)


15:20:17 Session AFP/Bounded_Deducibility_Security (AFP)


15:20:17 Session AFP/BytecodeLogicJmlTypes (AFP)


15:20:17 Session AFP/CISC-Kernel (AFP)


15:20:17 Session AFP/CYK (AFP)


15:20:17 Session AFP/Cauchy (AFP)


15:20:17 Session AFP/Sqrt_Babylonian (AFP)


15:20:17 Session AFP/ClockSynchInst (AFP)


15:20:17 Session AFP/Compiling-Exceptions-Correctly (AFP)


15:20:17 Session AFP/ComponentDependencies (AFP)


15:20:17 Session AFP/Constructor_Funs (AFP)


15:20:17 Session AFP/CryptoBasedCompositionalProperties (AFP)


15:20:17 Session AFP/DPT-SAT-Solver (AFP)


15:20:17 Session AFP/Depth-First-Search (AFP)


15:20:18 Session AFP/Diophantine_Eqns_Lin_Hom (AFP)


15:20:18 Session AFP/HLDE (AFP)


15:20:18 Session AFP/DiskPaxos (AFP)


15:20:18 Session AFP/Example-Submission (AFP)


15:20:18 Session AFP/FFT (AFP)


15:20:18 Session AFP/FLP (AFP)


15:20:18 Session AFP/FeatherweightJava (AFP)


15:20:18 Session AFP/Featherweight_OCL (AFP)


15:20:18 Session AFP/FileRefinement (AFP)


15:20:18 Session AFP/FocusStreamsCaseStudies (AFP)


15:20:18 Session AFP/Free-Boolean-Algebra (AFP)


15:20:18 Session AFP/FunWithFunctions (AFP)


15:20:18 Session AFP/FunWithTilings (AFP)


15:20:18 Session AFP/GPU_Kernel_PL (AFP)


15:20:18 Session AFP/Gauss-Jordan-Elim-Fun (AFP)


15:20:18 Session AFP/GenClock (AFP)


15:20:18 Session AFP/General-Triangle (AFP)


15:20:18 Session AFP/GoedelGod (AFP)


15:20:18 Session HOL/HOL-Eisbach


15:20:18 Session AFP/Allen_Calculus (AFP)


15:20:18 Session AFP/Dependent_SIFUM_Type_Systems (AFP)


15:20:18 Session AFP/Dependent_SIFUM_Refinement (AFP)


15:20:18 Session HOL/HOL-Hoare


15:20:18 Session AFP/Case_Labeling (AFP)


15:20:18 Session HOL/HOL-Lattice


15:20:18 Session HOL/HOL-Library (main timing)


15:20:19 Session AFP/ArrowImpossibilityGS (AFP)


15:20:19 Session AFP/BNF_CC (AFP)


15:20:19 Session AFP/BNF_Operations (AFP)


15:20:19 Session AFP/Binomial-Heaps (AFP)


15:20:19 Session AFP/Boolean_Expression_Checkers (AFP)


15:20:19 Session AFP/Buildings (AFP)


15:20:19 Session AFP/CRDT (AFP)


15:20:19 Session AFP/IMAP-CRDT (AFP)


15:20:19 Session AFP/Card_Multisets (AFP)


15:20:19 Session AFP/Card_Number_Partitions (AFP)


15:20:20 Session AFP/Category (AFP)


15:20:20 Session AFP/Category3 (AFP)


15:20:20 Session AFP/MonoidalCategory (AFP)


15:20:20 Session AFP/CofGroups (AFP)


15:20:20 Session AFP/Completeness (AFP)


15:20:20 Session AFP/ConcurrentIMP (AFP)


15:20:20 Session AFP/Concurrent_Ref_Alg (AFP)


15:20:20 Session AFP/CoreC++ (AFP)


15:20:20 Session AFP/Decl_Sem_Fun_PL (AFP)


15:20:20 Session AFP/Derangements (AFP)


15:20:21 Session AFP/Discrete_Summation (AFP)


15:20:21 Session AFP/Card_Partitions (AFP)


15:20:21 Session AFP/Bell_Numbers_Spivey (AFP)


15:20:21 Session AFP/Card_Equiv_Relations (AFP)


15:20:21 Session AFP/Efficient-Mergesort (AFP)


15:20:21 Session AFP/Encodability_Process_Calculi (AFP)


15:20:21 Session AFP/Euler_Partition (AFP)


15:20:21 Session AFP/FOL-Fitting (AFP)


15:20:21 Session AFP/FOL_Harrison (AFP)


15:20:21 Session AFP/Falling_Factorial_Sum (AFP)


15:20:21 Session AFP/FinFun (AFP)


15:20:21 Session AFP/Finger-Trees (AFP)


15:20:21 Session AFP/Graph_Theory (AFP)


15:20:21 Session AFP/ShortestPath (AFP)


15:20:21 Session AFP/Group-Ring-Module (AFP)


15:20:22 Session AFP/Valuation (AFP)


15:20:22 Session HOL/HOL-Cardinals (timing)


15:20:22 Session AFP/Ordinals_and_Cardinals (AFP)


15:20:22 Session AFP/Sort_Encodings (AFP)


15:20:22 Session HOL/HOL-Computational_Algebra (main timing)


15:20:22 Session AFP/Descartes_Sign_Rule (AFP)


15:20:22 Session HOL/HOL-Algebra (main timing)


15:20:22 Session HOL/HOL-Decision_Procs (timing)


15:20:22 Session AFP/JNF-HOL-Lib (AFP)


15:20:22 *** Cannot load theory "HOL-Library.List_lexord"


15:20:22 *** The error(s) above occurred in session "JNF-HOL-Lib" (line 3 of "/media/data/jenkins/workspace/isabelle-repo-afp/afp/thys/Polynomial_Factorization/ROOT")


15:20:23 Build step 'Execute shell' marked build as failure


15:20:23 Archiving artifacts


15:21:27 Started calculate disk usage of build


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


15:21:56 Started calculate disk usage of workspace


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


15:21:57 No emails were triggered.


15:21:57 Finished: FAILURE