Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#825
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Started 5 yr 6 mo ago
Took
3.5 sec
on
workermta1
Failed
#825 (Dec 25, 2018, 12:50:08 AM)
Changes
more rules (
detail
/
hgweb
)
Started by an SCM change
This run spent:
6.7 sec waiting;
3.5 sec build duration;
10 sec total from scheduled to completion.
Revision
: 0cf906072e209bc6aba6b13231092d8f30bb86a4