Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#2060
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 5 mo 26 days ago
Took
16 sec
on
workermtahpc
Failed
#2060 (Nov 24, 2023, 12:50:07 AM)
Build Artifacts
Failed to determine (
log
)
Started by an SCM change
This run spent:
5.8 sec waiting;
16 sec build duration;
22 sec total from scheduled to completion.