Skip to content
Jenkins
log in
Dashboard
isabelle-all
#2804
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Embeddable Build Status
Previous Build
Next Build
Started 3 yr 0 mo ago
Took
1 hr 21 min
on
workermta1
Failed
#2804 (Apr 28, 2021, 9:51:13 AM)
Build Artifacts
No changes.
Started by an SCM change
This run spent:
2 min 1 sec waiting;
1 hr 21 min build duration;
1 hr 23 min total from scheduled to completion.