Started by user Administrative User Running in Durability level: MAX_SURVIVABILITY [Pipeline] Start of Pipeline [Pipeline] node Running on workerlrz6 in /media/data/jenkins/workspace/isabelle-dump [Pipeline] { [Pipeline] timeout Timeout set to expire in 1 day 6 hr [Pipeline] { [Pipeline] stage [Pipeline] { (Prepare) [Pipeline] cleanWs [WS-CLEANUP] Deleting project workspace... [WS-CLEANUP] Deferred wipeout is used... [WS-CLEANUP] done [Pipeline] } [Pipeline] // stage [Pipeline] stage [Pipeline] { (Checkout) [Pipeline] script [Pipeline] { [Pipeline] httpRequest HttpMethod: GET URL: https://ci.isabelle.systems/jenkins/job/isabelle-all/lastSuccessfulBuild/api/xml?tree=actions[*[_class,mercurialNodeName]]&xpath=freeStyleBuild/action[@_class=%22hudson.plugins.mercurial.MercurialTagAction%22]/mercurialNodeName&wrapper=revs Sending request to url: https://ci.isabelle.systems/jenkins/job/isabelle-all/lastSuccessfulBuild/api/xml?tree=actions[*[_class,mercurialNodeName]]&xpath=freeStyleBuild/action[@_class=%22hudson.plugins.mercurial.MercurialTagAction%22]/mercurialNodeName&wrapper=revs Response Code: HTTP/1.1 200 OK Success code from [100‥399] [Pipeline] } [Pipeline] // script [Pipeline] checkout $ hg clone --rev e60333aa18cafe80545dc9b2c19ad746177c15b6 --noupdate https://isabelle.in.tum.de/repos/isabelle /media/data/jenkins/workspace/isabelle-dump adding changesets adding manifests adding file changes added 73594 changesets with 201265 changes to 11320 files new changesets a5a9c433f639:e60333aa18ca [isabelle-dump] $ hg update --rev e60333aa18cafe80545dc9b2c19ad746177c15b6 3482 files updated, 0 files merged, 0 files removed, 0 files unresolved [isabelle-dump] $ hg log --rev . --template {node} [isabelle-dump] $ hg log --rev . --template {rev} [isabelle-dump] $ hg id --branch [isabelle-dump] $ hg log --rev 5d750df8e89402c47faa3a268bc7864e990f0446 --template exists\n exists [isabelle-dump] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('e60333aa18cafe80545dc9b2c19ad746177c15b6') and not ancestors(5d750df8e89402c47faa3a268bc7864e990f0446)" --encoding UTF-8 --encodingmode replace [isabelle-dump] $ hg log --rev . --template {node} [isabelle-dump] $ hg log --rev . --template {rev} [isabelle-dump] $ hg id --branch [Pipeline] checkout $ hg clone --rev f8e89e956d62e4324a69bc3e8bf8b2f2c7cebc4d --noupdate https://foss.heptapod.net/isa-afp/afp-devel /media/data/jenkins/workspace/isabelle-dump/afp adding changesets adding manifests adding file changes added 11741 changesets with 78981 changes to 12098 files new changesets 86acbdb19eec:f8e89e956d62 [afp] $ hg update --rev f8e89e956d62e4324a69bc3e8bf8b2f2c7cebc4d 9664 files updated, 0 files merged, 0 files removed, 0 files unresolved [afp] $ hg log --rev . --template {node} [afp] $ hg log --rev . --template {rev} [afp] $ hg id --branch [afp] $ hg log --rev 693ae1ce0d54dd7828051617d4242a9103f1ea7f --template exists\n exists [afp] $ hg log --template "{desc|xmlescape}{file_adds % '{file|xmlescape}'}{file_dels % '{file|xmlescape}'}{files % '{file|xmlescape}'}{parents}\n" --rev "ancestors('f8e89e956d62e4324a69bc3e8bf8b2f2c7cebc4d') and not ancestors(693ae1ce0d54dd7828051617d4242a9103f1ea7f)" --encoding UTF-8 --encodingmode replace [afp] $ hg log --rev . --template {node} [afp] $ hg log --rev . --template {rev} [afp] $ hg id --branch [Pipeline] } [Pipeline] // stage [Pipeline] stage [Pipeline] { (Install) [Pipeline] sh + bin/isabelle components -a ### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/gnu-utils-20210414" ### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/kodkodi-1.5.6-1" Getting "https://isabelle.sketis.net/components/gnu-utils-20210414.tar.gz" Unpacking "/media/data/jenkins/.isabelle/contrib/gnu-utils-20210414.tar.gz" Getting "https://isabelle.sketis.net/components/kodkodi-1.5.6-1.tar.gz" Unpacking "/media/data/jenkins/.isabelle/contrib/kodkodi-1.5.6-1.tar.gz" [Pipeline] sh + bin/isabelle jedit -bf ### Building graph browser ... warning: [options] bootstrap class path not set in conjunction with -source 7 warning: [options] source value 7 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 ... ### Building Isabelle/jEdit ... [Pipeline] sh + bin/isabelle ocaml_setup # Run eval $(opam env) to update the current shell environment [NOTE] Package zarith is already installed (current version is 1.12). [Pipeline] sh + bin/isabelle ghc_setup stack will use a sandboxed GHC it installed For more information on paths, see 'stack path' and 'stack exec env' To use this GHC and packages outside of a project, consider using: stack ghc, stack ghci, stack runghc, or stack exec The Glorious Glasgow Haskell Compilation System, version 8.8.4 [Pipeline] } [Pipeline] // stage [Pipeline] stage [Pipeline] { (Dump) [Pipeline] sh + rm -rf dump/ [Pipeline] sh + bin/isabelle dump -o threads=8 -D afp/thys -X slow -X large -X very_slow -a Loading 735 sessions ... Build started for Isabelle/Pure ... Building Pure ... Finished Pure (0:00:27 elapsed time, 0:00:27 cpu time, factor 0.98) ### Skipping theory HOL-Import.HOL_Light_Import (undefined HOL_LIGHT_BUNDLE) ### Skipping theory HOL-Codegenerator_Test.Code_Test_MLton (undefined ISABELLE_MLTON) ### Skipping theory HOL-Codegenerator_Test.Code_Test_SMLNJ (undefined ISABELLE_SMLNJ) ### Skipping theory HOL-Library.Code_Prolog (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.Code_Prolog_Examples (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.Context_Free_Grammar_Example (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.Hotel_Example (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.Hotel_Example_Prolog (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.Lambda_Example (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.List_Examples (undefined ISABELLE_SWIPL) ### Skipping theory HOL-Predicate_Compile_Examples.Reg_Exp_Example (undefined ISABELLE_SWIPL) ### Skipping theory PAC_Checker.PAC_Checker_MLton (undefined ISABELLE_MLTON) ### Skipping theory Buchi_Complementation.Complementation_Build (undefined ISABELLE_MLTON) ### Skipping theory CakeML.Compiler_Test (undefined ISABELLE_CAKEML_HOME, ISABELLE_CC) ### Skipping theory CakeML_Codegen.Test_Datatypes (undefined ISABELLE_CAKEML_HOME, ISABELLE_CC) ### Skipping theory Native_Word.Native_Word_Test_MLton (undefined ISABELLE_MLTON) ### Skipping theory Native_Word.Native_Word_Test_MLton2 (undefined ISABELLE_MLTON) ### Skipping theory Native_Word.Native_Word_Test_SMLNJ (undefined ISABELLE_SMLNJ) ### Skipping theory Native_Word.Native_Word_Test_SMLNJ2 (undefined ISABELLE_SMLNJ) Starting session Pure ... Loading 130 theories ... Processing theory Tools.Code_Generator ... Processing theory HOL.HOL ... Processing theory HOL.Argo ... Processing theory HOL.SAT ... Processing theory HOL.Ctr_Sugar ... Processing theory HOL.Orderings ... Processing theory HOL.Groups ... Processing theory HOL.Lattices ... Processing theory HOL.Set ... Processing theory HOL.Fun ... Processing theory HOL.Complete_Lattices ... Processing theory HOL.Typedef ... Processing theory HOL.Inductive ... Processing theory HOL.Product_Type ... Processing theory HOL.Complete_Partial_Order ... Processing theory HOL.Sum_Type ... Processing theory HOL.Rings ... Processing theory HOL.Nat ... Processing theory HOL.Meson ... Processing theory HOL.ATP ... Processing theory HOL.Metis ... Processing theory HOL.Fields ... Processing theory HOL.Finite_Set ... Processing theory HOL.Relation ... Processing theory HOL.Transitive_Closure ... Processing theory HOL.Wellfounded ... Processing theory HOL.Fun_Def_Base ... Processing theory HOL.Wfrec ... Processing theory HOL.Order_Relation ... Processing theory HOL.Hilbert_Choice ... Processing theory HOL.BNF_Wellorder_Relation ... Processing theory HOL.BNF_Wellorder_Embedding ... Processing theory HOL.Zorn ... Processing theory HOL.BNF_Wellorder_Constructions ... Processing theory HOL.BNF_Cardinal_Order_Relation ... Processing theory HOL.BNF_Cardinal_Arithmetic ... Processing theory HOL.BNF_Def ... Processing theory HOL.BNF_Composition ... Processing theory HOL.Basic_BNFs ... Processing theory HOL.BNF_Fixpoint_Base ... Processing theory HOL.BNF_Least_Fixpoint ... Processing theory HOL.Basic_BNF_LFPs ... Processing theory HOL.Transfer ... Processing theory HOL.Num ... Processing theory HOL.Power ... Processing theory HOL.Groups_Big ... Processing theory HOL.Equiv_Relations ... Processing theory HOL.Lifting ... Processing theory HOL.Lifting_Set ... Processing theory HOL.Option ... Processing theory HOL.Extraction ... Processing theory HOL.Lattices_Big ... Processing theory HOL.Partial_Function ... Processing theory HOL.Fun_Def ... Processing theory HOL.Quotient ... Processing theory HOL.Int ... Processing theory HOL.Euclidean_Division ... Processing theory HOL.Parity ... Processing theory HOL.Divides ... Processing theory HOL.Numeral_Simprocs ... Processing theory HOL.Semiring_Normalization ... Processing theory HOL.Groebner_Basis ... Processing theory HOL.SMT ... Processing theory HOL.Code_Numeral ... Processing theory HOL.Set_Interval ... Processing theory HOL.Presburger ... Processing theory HOL.Conditionally_Complete_Lattices ... Processing theory HOL.Sledgehammer ... Processing theory HOL.Filter ... Processing theory HOL.List ... Processing theory HOL.Map ... Processing theory HOL.Groups_List ... Processing theory HOL.Factorial ... Processing theory HOL.Random ... Processing theory HOL.Binomial ... Processing theory HOL.Enum ... Processing theory HOL.String ... Processing theory HOL.Typerep ... Processing theory HOL.Predicate ... Processing theory HOL.Lazy_Sequence ... Processing theory HOL.Limited_Sequence ... Processing theory HOL.GCD ... Processing theory HOL.BNF_Greatest_Fixpoint ... Processing theory HOL.Code_Evaluation ... Processing theory HOL.Quickcheck_Random ... Processing theory HOL.Random_Pred ... Processing theory HOL.Random_Sequence ... Processing theory HOL.Quickcheck_Narrowing ... Processing theory HOL.Quickcheck_Exhaustive ... Processing theory HOL.Record ... Processing theory HOL.Nitpick ... Processing theory HOL.Nunchaku ... Processing theory HOL.Predicate_Compile ... Processing theory Main ... Processing theory HOL-Library.Cancellation ... Processing theory HOL-Library.Code_Abstract_Nat ... Processing theory HOL-Library.Code_Target_Nat ... Processing theory HOL-Library.Code_Target_Int ... Processing theory HOL-Library.Code_Target_Numeral ... Processing theory HOL-Proofs-Extraction.Util ... Processing theory HOL-Examples.Drinker ... Processing theory HOL-Proofs-ex.XML_Data ... Processing theory HOL-Library.Open_State_Syntax ... Processing theory HOL-Library.Realizers ... Processing theory HOL-Proofs-Extraction.QuotRem ... Processing theory HOL-Proofs-Lambda.ListOrder ... Processing theory HOL-Proofs-Lambda.Commutation ... Processing theory HOL-Proofs-ex.Hilbert_Classical ... Processing theory HOL-Proofs-ex.Proof_Terms ... Processing theory HOL-Proofs-Extraction.Warshall ... Processing theory HOL-Proofs-Extraction.Higman ... Processing theory HOL-Proofs-Lambda.Lambda ... Processing theory HOL-Proofs-Lambda.ListApplication ... Processing theory HOL-Proofs-Lambda.LambdaType ... Processing theory HOL-Proofs-Lambda.ParRed ... Processing theory HOL-Proofs-Lambda.ListBeta ... Processing theory HOL-Proofs-Lambda.InductTermi ... Processing theory HOL-Proofs-Lambda.StrongNorm ... Processing theory HOL-Proofs-Lambda.NormalForm ... Processing theory HOL-Proofs-Lambda.Standardization ... Removing 8 theories ... Processing theory HOL-Proofs-Extraction.Greatest_Common_Divisor ... Processing theory HOL-Proofs-Lambda.Eta ... Processing theory HOL-Proofs-Extraction.Higman_Extraction ... Processing theory HOL-Library.Multiset ... Processing theory HOL-Proofs-Extraction.Pigeonhole ... Processing theory HOL-Computational_Algebra.Factorial_Ring ... Removing 9 theories ... Processing theory HOL-Computational_Algebra.Euclidean_Algorithm ... Processing theory HOL-Computational_Algebra.Primes ... Processing theory HOL-Proofs-Extraction.Euclid ... Processing theory HOL-Proofs-Lambda.WeakNorm ... Starting session Pure ... Loading 248 theories ... Processing theory HOL.Hull ... Processing theory HOL-Library.Disjoint_Sets ... Processing theory HOL-Library.FuncSet ... Processing theory HOL-Library.Infinite_Set ... Processing theory HOL-Library.Nat_Bijection ... Processing theory HOL-Library.Old_Datatype ... Processing theory HOL-Library.Phantom_Type ... Processing theory HOL-Library.Cardinality ... Processing theory HOL-Library.Numeral_Type ... Processing theory HOL-Library.Product_Plus ... Processing theory HOL-Library.Product_Order ... Processing theory HOL-Library.Set_Algebras ... Processing theory HOL.Modules ... Processing theory HOL.Vector_Spaces ... Processing theory HOL.Archimedean_Field ... Processing theory HOL.Rat ... Processing theory HOL.Real ... Processing theory HOL-Library.Countable ... Processing theory HOL-Library.Countable_Set ... Processing theory HOL-Library.Set_Idioms ... Processing theory HOL-Combinatorics.Permutations ... Processing theory HOL-Library.Countable_Complete_Lattices ... Processing theory HOL.Topological_Spaces ... Processing theory HOL.Real_Vector_Spaces ... Processing theory HOL-Analysis.Metric_Arith ... Processing theory HOL.Inequalities ... Processing theory HOL.Limits ... Processing theory HOL.Deriv ... Processing theory HOL.NthRoot ... Processing theory HOL.Series ... Processing theory HOL.Transcendental ... Processing theory HOL.Complex ... Processing theory HOL.MacLaurin ... Processing theory Complex_Main ... Processing theory HOL-Analysis.Continuum_Not_Denumerable ... Processing theory HOL-Analysis.L2_Norm ... Processing theory HOL-Analysis.Operator_Norm ... Processing theory HOL-Analysis.Poly_Roots ... Processing theory HOL-Library.Indicator_Function ... Processing theory HOL-Library.Order_Continuity ... Processing theory HOL-Library.Sum_of_Squares ... Processing theory HOL-Analysis.Norm_Arith ... Processing theory HOL-Library.Liminf_Limsup ... Processing theory HOL-Library.Nonpos_Ints ... Processing theory HOL-Analysis.Inner_Product ... Processing theory HOL-Analysis.Product_Vector ... Processing theory HOL-Analysis.Euclidean_Space ... Processing theory HOL-Library.Discrete ... Processing theory HOL-Library.Extended_Nat ... Processing theory HOL-Library.Periodic_Fun ... Processing theory HOL-Analysis.Finite_Cartesian_Product ... Processing theory HOL-Analysis.Linear_Algebra ... Processing theory HOL-Library.Landau_Symbols ... Processing theory HOL-Analysis.Elementary_Topology ... Processing theory HOL-Analysis.Affine ... Processing theory HOL-Analysis.Cartesian_Space ... Processing theory HOL-Analysis.Determinants ... Processing theory HOL-Library.Extended_Real ... Processing theory HOL-Analysis.Convex ... Processing theory HOL-Library.Extended_Nonnegative_Real ... Processing theory HOL-Computational_Algebra.Formal_Power_Series ... Processing theory HOL-Analysis.Abstract_Topology ... Processing theory HOL-Analysis.Abstract_Limits ... Processing theory HOL-Analysis.Sigma_Algebra ... Processing theory HOL-Analysis.Measurable ... Processing theory HOL-Analysis.Abstract_Topology_2 ... Processing theory HOL-Analysis.Connected ... Processing theory HOL-Analysis.Elementary_Metric_Spaces ... Processing theory HOL-Analysis.Measure_Space ... Processing theory HOL-Analysis.Caratheodory ... Processing theory HOL-Analysis.Function_Topology ... Processing theory HOL-Analysis.Product_Topology ... Processing theory HOL-Analysis.Elementary_Normed_Spaces ... Processing theory HOL-Analysis.Function_Metric ... Processing theory HOL-Analysis.T1_Spaces ... Processing theory HOL-Analysis.Topology_Euclidean_Space ... Processing theory HOL-Analysis.Lindelof_Spaces ... Processing theory HOL-Analysis.Convex_Euclidean_Space ... Processing theory HOL-Analysis.Extended_Real_Limits ... Processing theory HOL-Analysis.Line_Segment ... Processing theory HOL-Analysis.Summation_Tests ... Processing theory HOL-Analysis.Uniform_Limit ... Processing theory HOL-Analysis.Bounded_Continuous_Function ... Processing theory HOL-Analysis.Bounded_Linear_Function ... Processing theory HOL-Analysis.Tagged_Division ... Processing theory HOL-Analysis.Ordered_Euclidean_Space ... Processing theory HOL-Analysis.Derivative ... Processing theory HOL-Analysis.Cartesian_Euclidean_Space ... Processing theory HOL-Analysis.Complex_Analysis_Basics ... Processing theory HOL-Analysis.Borel_Space ... Processing theory HOL-Analysis.Cross3 ... Processing theory HOL-Analysis.Lipschitz ... Processing theory HOL-Analysis.Starlike ... Processing theory HOL-Analysis.Multivariate_Analysis ... Processing theory HOL-Analysis.Regularity ... Processing theory HOL-Analysis.Continuous_Extension ... Processing theory HOL-Analysis.Nonnegative_Lebesgue_Integration ... Processing theory HOL-Analysis.Complex_Transcendental ... Processing theory HOL-Analysis.Generalised_Binomial_Theorem ... Processing theory HOL-Analysis.Binary_Product_Measure ... Processing theory HOL-Analysis.Embed_Measure ... Processing theory HOL-Analysis.FPS_Convergence ... Processing theory HOL-Analysis.Harmonic_Numbers ... Processing theory HOL-Analysis.Finite_Product_Measure ... Processing theory HOL-Analysis.Infinite_Products ... Processing theory HOL-Analysis.Path_Connected ... Processing theory HOL-Analysis.Locally ... Processing theory HOL-Analysis.Weierstrass_Theorems ... Processing theory HOL-Analysis.Bochner_Integration ... Processing theory HOL-Analysis.Arcwise_Connected ... Processing theory HOL-Analysis.Polytope ... Processing theory HOL-Analysis.Radon_Nikodym ... Processing theory HOL-Analysis.Complete_Measure ... Processing theory HOL-Analysis.Set_Integral ... Processing theory HOL-Analysis.Infinite_Set_Sum ... Processing theory HOL-Analysis.Lebesgue_Measure ... Processing theory HOL-Analysis.Homotopy ... Processing theory HOL-Analysis.Abstract_Euclidean_Space ... Processing theory HOL-Analysis.Homeomorphism ... Processing theory HOL-Analysis.Brouwer_Fixpoint ... Processing theory HOL-Analysis.Fashoda_Theorem ... Processing theory HOL-Analysis.Henstock_Kurzweil_Integration ... Processing theory HOL-Analysis.Integral_Test ... Processing theory HOL-Analysis.Retracts ... Processing theory HOL-Analysis.Smooth_Paths ... Processing theory HOL-Analysis.Equivalence_Lebesgue_Henstock_Integration ... Processing theory HOL-Analysis.Interval_Integral ... Processing theory HOL-Analysis.Vitali_Covering_Theorem ... Processing theory HOL-Analysis.Lebesgue_Integral_Substitution ... Processing theory HOL-Analysis.Gamma_Function ... Processing theory HOL-Analysis.Ball_Volume ... Processing theory HOL-Analysis.Improper_Integral ... Processing theory HOL-Analysis.Equivalence_Measurable_On_Borel ... Processing theory HOL-Analysis.Further_Topology ... Processing theory HOL-Analysis.Jordan_Curve ... Processing theory HOL-Analysis.Change_Of_Vars ... Processing theory HOL-Analysis.Simplex_Content ... Processing theory HOL-Analysis.Analysis ... Processing theory HOL-Complex_Analysis.Contour_Integration ... Processing theory HOL-Complex_Analysis.Cauchy_Integral_Theorem ... Processing theory HOL-Complex_Analysis.Winding_Numbers ... Processing theory HOL-Complex_Analysis.Cauchy_Integral_Formula ... Processing theory HOL-Complex_Analysis.Conformal_Mappings ... Processing theory HOL-Complex_Analysis.Complex_Singularities ... Processing theory HOL-Complex_Analysis.Complex_Residues ... Processing theory HOL-Complex_Analysis.Residue_Theorem ... Processing theory HOL-Complex_Analysis.Great_Picard ... Processing theory HOL-Complex_Analysis.Riemann_Mapping ... Loading 48 theories ... Processing theory HOL-Complex_Analysis.Complex_Analysis ... Processing theory HOL-Library.Adhoc_Overloading ... Processing theory HOL-Library.Monad_Syntax ... Processing theory HOL-Library.Lattice_Syntax ... Processing theory HOL-Library.Rewrite ... Processing theory HOL-Library.Conditional_Parametricity ... Processing theory HOL-Library.Diagonal_Subsequence ... Processing theory HOL-Probability.Discrete_Topology ... Processing theory HOL-Combinatorics.Multiset_Permutations ... Processing theory HOL-Library.Mapping ... Processing theory HOL-Library.Stream ... Processing theory HOL-Probability.Essential_Supremum ... Processing theory HOL-Probability.Stopping_Time ... Processing theory HOL-Library.AList ... Processing theory HOL-Library.AList_Mapping ... Processing theory HOL-Library.Complete_Partial_Order2 ... Processing theory HOL-Library.FSet ... Processing theory HOL-Library.Tree ... Processing theory HOL-Probability.Tree_Space ... Processing theory HOL-Library.Sublist ... Removing 11 theories ... Processing theory HOL-Library.Linear_Temporal_Logic_on_Streams ... Processing theory HOL-Probability.Probability_Measure ... Processing theory HOL-Probability.Distribution_Functions ... Processing theory HOL-Probability.Weak_Convergence ... Processing theory HOL-Library.Finite_Map ... Processing theory HOL-Probability.Helly_Selection ... Processing theory HOL-Probability.Fin_Map ... Processing theory HOL-Probability.Conditional_Expectation ... Processing theory HOL-Probability.Giry_Monad ... Processing theory HOL-Probability.Projective_Family ... Processing theory HOL-Probability.Infinite_Product_Measure ... Processing theory HOL-Probability.Stream_Space ... Processing theory HOL-Probability.Projective_Limit ... Processing theory HOL-Probability.Probability_Mass_Function ... Processing theory HOL-Probability.PMF_Impl ... Processing theory HOL-Probability.Random_Permutations ... Processing theory HOL-Probability.Independent_Family ... Processing theory HOL-Probability.Convolution ... Processing theory HOL-Probability.Product_PMF ... Processing theory HOL-Probability.SPMF ... Aborted by Administrative User Sending interrupt signal to process + true [Pipeline] } [Pipeline] // stage [Pipeline] stage [Pipeline] { (Store) [Pipeline] zip Writing zip file of /media/data/jenkins/workspace/isabelle-dump/dump to /media/data/jenkins/workspace/isabelle-dump/dump.zip Click here to forcibly terminate running steps Aborted by Administrative User [Pipeline] } [Pipeline] // stage [Pipeline] } [Pipeline] // timeout [Pipeline] } [Pipeline] // node [Pipeline] End of Pipeline java.lang.InterruptedException at java.lang.Object.wait(Native Method) at hudson.remoting.Request.call(Request.java:177) at hudson.remoting.Channel.call(Channel.java:1000) at hudson.FilePath.act(FilePath.java:1158) at hudson.FilePath.act(FilePath.java:1147) at org.jenkinsci.plugins.pipeline.utility.steps.zip.ZipStepExecution.run(ZipStepExecution.java:93) at org.jenkinsci.plugins.pipeline.utility.steps.zip.ZipStepExecution.run(ZipStepExecution.java:58) at org.jenkinsci.plugins.workflow.steps.SynchronousNonBlockingStepExecution.lambda$start$0(SynchronousNonBlockingStepExecution.java:47) at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511) at java.util.concurrent.FutureTask.run(FutureTask.java:266) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) Finished: ABORTED