Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
isabelle-distributed
#552
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 7 mo 6 days ago
Took
0.34 sec
on
workerls21cluster
Failed
#552 (Nov 25, 2023, 9:00:04 PM)
No changes.
Started by an SCM change
This run spent:
2 min 0 sec waiting;
0.34 sec build duration;
2 min 0 sec total from scheduled to completion.