Skip to content
Jenkins
log in
Dashboard
desharna
My Views
All
isabelle-dump
#93
Pipeline Steps
Status
Changes
Console Output
View Build Information
Timings
Mercurial Build Data
Mercurial Build Data
Embeddable Build Status
Pipeline Steps
Previous Build
Next Build
Step
Arguments
Status
Start of Pipeline - (2 min 29 sec in block)
node - (2 min 27 sec in block)
lrz-large
node block - (2 min 27 sec in block)
timeout - (2 min 27 sec in block)
timeout block - (2 min 27 sec in block)
stage - (0.61 sec in block)
Prepare
stage block (Prepare) - (0.55 sec in block)
cleanWs - (0.43 sec in self)
stage - (2 min 23 sec in block)
Checkout
stage block (Checkout) - (2 min 23 sec in block)
script - (9.6 sec in block)
script block - (9.5 sec in block)
httpRequest - (9.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 - (51 sec in self)
checkout - (1 min 22 sec in self)
stage - (2.7 sec in block)
Install
stage block (Install) - (2.6 sec in block)
sh - (2.6 sec in self)
bin/isabelle components -a
stage - (99 ms in block)
Dump
stage block (Dump) - (56 ms in block)
stage - (51 ms in block)
Store
stage block (Store) - (19 ms in block)