Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#2005
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 8 mo 20 days ago
Took
15 sec
on
workermtahpc
Failed
#2005 (Sep 1, 2023, 12:50:06 AM)
Build Artifacts
Failed to determine (
log
)
Started by an SCM change
This run spent:
5.1 sec waiting;
15 sec build duration;
20 sec total from scheduled to completion.