Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
isabelle-dump
#31
Pipeline Steps
Status
Changes
Console Output
View as plain text
View Build Information
Timings
Mercurial Build Data
Mercurial Build Data
Embeddable Build Status
Pipeline Steps
Next Build
Step
Arguments
Status
Start of Pipeline - (13 hr in block)
node - (13 hr in block)
lrz-large
node block - (13 hr in block)
stage - (0.6 sec in block)
Prepare
stage block (Prepare) - (0.54 sec in block)
cleanWs - (0.31 sec in self)
stage - (3 min 9 sec in block)
Checkout
stage block (Checkout) - (3 min 9 sec in block)
script - (3.9 sec in block)
script block - (3.7 sec in block)
httpRequest - (3.7 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 - (2 min 29 sec in self)
checkout - (36 sec in self)
stage - (57 sec in block)
Install
stage block (Install) - (57 sec in block)
sh - (0.8 sec in self)
isabelle/bin/isabelle components -a
sh - (52 sec in self)
isabelle/bin/isabelle jedit -bf
sh - (1.4 sec in self)
isabelle/bin/isabelle ocaml_setup
sh - (2.7 sec in self)
isabelle/bin/isabelle ghc_setup
stage - (13 hr in block)
Dump
stage block (Dump) - (13 hr in block)
sh - (13 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 - (9 min 11 sec in block)
Store
stage block (Store) - (9 min 11 sec in block)
zip - (9 min 11 sec in self)