Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#822
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 5 yr 6 mo ago
Took
31 sec
on
workermta1
Failed
#822 (Dec 22, 2018, 12:50:14 AM)
Failed to determine (
log
)
Started by an SCM change
This run spent:
6.7 sec waiting;
31 sec build duration;
38 sec total from scheduled to completion.