Builds for acl2 in Ubuntu Disco

Build started on 2019-04-21 on bos02-ppc64el-008 and finished on 2019-04-21 taking 5 hours 30 minutes — see the log

Build started on 2019-04-21 on bos02-ppc64el-008 and finished on 2019-04-21 taking 5 hours 30 minutes — see the log

Build started on 2019-01-15 on bos02-s390x-018 and finished on 2019-01-15 taking 3 hours 20 minutes — see the log

Build started on 2019-01-15 on bos02-s390x-018 and finished on 2019-01-15 taking 3 hours 20 minutes — see the log

Build started on 2019-04-09 on bos02-ppc64el-017 and finished on 2019-04-09 taking 5 hours 30 minutes — see the log

Build started on 2019-04-09 on bos02-ppc64el-017 and finished on 2019-04-09 taking 5 hours 30 minutes — see the log

Build started on 2019-01-15 on lcy01-amd64-004 and finished on 2019-01-15 taking 5 hours 20 minutes — see the log

Build started on 2019-01-15 on lcy01-amd64-004 and finished on 2019-01-15 taking 5 hours 20 minutes — see the log

Build started on 2019-01-15 on bos02-arm64-040 and finished on 2019-01-16 taking 34 hours — see the log

Build started on 2019-01-15 on bos02-arm64-040 and finished on 2019-01-16 taking 34 hours — see the log

Build started on 2019-01-15 on bos02-arm64-034 and finished on 2019-01-16 taking 31 hours — see the log

Build started on 2019-01-15 on bos02-arm64-034 and finished on 2019-01-16 taking 31 hours — see the log

Build started on 2019-01-15 on lcy01-amd64-007 and finished on 2019-01-15 taking 7 hours 10 minutes — see the log

Build started on 2019-01-15 on lcy01-amd64-007 and finished on 2019-01-15 taking 7 hours 10 minutes — see the log

Build started on 2018-01-23 on bos02-s390x-019 and finished on 2018-01-23 taking 3 hours 20 minutes — see the log

Build started on 2018-01-31 on bos02-ppc64el-007 and finished on 2018-01-31 taking 5 hours 30 minutes — see the log

Build started on 2018-01-13 on lgw01-amd64-022 and finished on 2018-01-14 taking 4 hours 50 minutes — see the log

Build started on 2018-01-20 on bos02-arm64-037 and finished on 2018-01-21 taking 31 hours — see the log

Build started on 2018-01-20 on bos02-arm64-003 and finished on 2018-01-22 taking 35 hours — see the log

Build started on 2018-01-13 on lgw01-amd64-002 and finished on 2018-01-14 taking 3 hours 50 minutes — see the log