Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#820
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
16 sec
on
workermta1
Failed
#820 (Dec 20, 2018, 12:50:17 AM)
Failed to determine (
log
)
Started by an SCM change
This run spent:
6.4 sec waiting;
16 sec build duration;
22 sec total from scheduled to completion.