Skip to content
Jenkins
log in
Dashboard
Thibault Dardinier <thibault.dardinier@inf.ethz.ch>
My Views
All
isabelle-nightly-benchmark
#2005
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 10 mo 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.