Build Queue
No builds in the queue.
SWNameLast SuccessLast FailureLast DurationBuilt On
WDescription%
Build stability: 2 out of the last 5 builds failed.60
afp-repo 4 yr 5 mo #1713 4 yr 5 mo #17123 hr 32 minJenkins
WDescription%
Build stability: 2 out of the last 5 builds failed.60
afp-repo-afp 4 yr 5 mo #1713 4 yr 5 mo #17121 hr 49 minworkermta1
WDescription%
Build stability: 3 out of the last 5 builds failed.40
afp_testboard 1 yr 0 mo #19 1 yr 0 mo #213 hr 31 minworkermta1
WDescription%
Build stability: No recent builds failed.100
isabelle-2021-1 11 mo #45 1 yr 0 mo #2038 minworkermtahpc
WDescription%
Build stability: No recent builds failed.100
isabelle-all 1 day 5 hr #4115 20 days #408929 minworkermtahpc
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-dump 8 mo 18 days #96 9 mo 9 days #9319 hr
WDescription%
Build stability: No recent builds failed.100
isabelle-nightly-benchmark 1 day 19 hr #1826 2 mo 4 days #17821 hr 51 minworkermtahpc
WDescription%
Build stability: 3 out of the last 5 builds failed.40
isabelle-nightly-mac 4 yr 1 mo #588 4 yr 1 mo #5861 hr 32 min
WDescription%
Build stability: All recent builds failed.0
isabelle-nightly-mac-afp 2 yr 1 mo #629 1 yr 10 mo #71315 hr
WDescription%
Build stability: 2 out of the last 5 builds failed.60
isabelle-nightly-slow 1 day 18 hr #2134 18 hr #213512 hrworkerlrz5
WDescription%
Build stability: No recent builds failed.100
isabelle-notify 2 days 2 hr #84 1 mo 28 days #41 min 31 secworkermta1
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-repo 4 yr 5 mo #1772 4 yr 5 mo #17735 hr 12 minJenkins
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-repo-afp 4 yr 5 mo #1772 4 yr 5 mo #17731 hr 44 minworkermta1
WDescription%
Build stability: No recent builds failed.100
isabelle-repo-makeall 4 yr 5 mo #1773 4 yr 9 mo #14931 hr 0 min
WDescription%
Build stability: All recent builds failed.0
testboard 12 days #762 9 days 10 hr #7684 hr 0 minworkermta1