Skip to content
Jenkins
log in
Dashboard
isabelle-notify
#560
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 5 mo 23 days ago
Took
0.26 sec
on
workermta1
Failed
#560 (Nov 24, 2023, 10:44:04 AM)
No changes.
Started by an SCM change
This run spent:
2 min 3 sec waiting;
0.26 sec build duration;
2 min 3 sec total from scheduled to completion.