Skip to content
[Jenkins]Jenkins
log in
StepArgumentsStatus
Start of Pipeline - (4 days 16 hr in block)
node - (4 days 16 hr in block)lrz-large
node block - (4 days 16 hr in block)
stage - (0.52 sec in block)Prepare
stage block (Prepare) - (0.47 sec in block)
cleanWs - (0.35 sec in self)
stage - (2 min 6 sec in block)Checkout
stage block (Checkout) - (2 min 6 sec in block)
script - (3.6 sec in block)
script block - (3.5 sec in block)
httpRequest - (3.5 sec in self)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
checkout - (1 min 26 sec in self)
checkout - (36 sec in self)
stage - (1 min 18 sec in block)Install
stage block (Install) - (1 min 18 sec in block)
sh - (0.59 sec in self)isabelle/bin/isabelle components -a
sh - (1 min 13 sec in self)isabelle/bin/isabelle jedit -bf
sh - (1.4 sec in self)isabelle/bin/isabelle ocaml_setup
sh - (2.5 sec in self)isabelle/bin/isabelle ghc_setup
stage - (4 days 16 hr in block)Dump
stage block (Dump) - (4 days 16 hr in block)
sh - (4 days 16 hr in self)isabelle/bin/isabelle dump -o threads=4 -D afp/thys -b Pure -X slow -X large -X very_slow -O dump -a || true
stage - (19 sec in block)Store
stage block (Store) - (19 sec in block)
zip - (19 sec in self)