Skip to content
Build Queue
No builds in the queue.
SWNameLast SuccessLast FailureLast DurationBuilt On
afp-repo 5 yr 9 mo #1713 5 yr 9 mo #17123 hr 32 minJenkins
afp-repo-afp 5 yr 9 mo #1713 5 yr 9 mo #17121 hr 49 minworkermta1
afp_testboard 4 mo 22 days #32 16 hr #344 hr 50 minworkermta1
isabelle-all 1 day 15 hr #5128 47 min #514113 minworkermtahpc
isabelle-distributed 3 mo 18 days #581 28 days #5821 hr 1 minworkerls21cluster
isabelle-dump 2 yr 0 mo #96 2 yr 1 mo #9319 hr
isabelle-nightly-benchmark 11 hr #2165 12 days #21542 hr 10 minworkermtahpc
isabelle-nightly-slow 1 day 12 hr #2504 12 days #249410 hr
isabelle-notify 49 min #829 20 hr #8251 min 21 secworkermtahpc
isabelle-repo 5 yr 9 mo #1772 5 yr 9 mo #17735 hr 12 minJenkins
isabelle-repo-afp 5 yr 9 mo #1772 5 yr 9 mo #17731 hr 44 minworkermta1
isabelle-repo-makeall 5 yr 9 mo #1773 6 yr 0 mo #14931 hr 0 min
testboard 1 day 23 hr #1010 33 min #10145 hr 5 minworkermta1