mta_hpc

Nodes

 workermtahpc

Projects

SWNameLast SuccessLast FailureLast DurationBuilt On
WDescription%
Build stability: No recent builds failed.100
isabelle-2021-1 8 mo 27 days #45 10 mo #2038 minworkermtahpc
WDescription%
Build stability: No recent builds failed.100
isabelle-all 2 hr 32 min #3990 1 day 21 hr #398410 minworkermtahpc
WDescription%
Build stability: 1 out of the last 5 builds failed.80
isabelle-nightly-benchmark 12 hr #1783 1 day 12 hr #17821 hr 51 minworkermtahpc