Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-dump
#45
Status
Changes
Console Output
View Build Information
Timings
Embeddable Build Status
Pipeline Steps
Previous Build
Next Build
Started 3 yr 2 mo ago
Took
1.7 sec
Failed
Build #45 (Apr 20, 2021, 10:52:56 AM)
Started by user
Administrative User
This run spent:
7 ms waiting;
1.7 sec build duration;
1.7 sec total from scheduled to completion.