Builds for acl2 in Ubuntu Bionic

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-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-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-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-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-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

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

Build started on 2017-11-02 on z13-008 and finished on 2017-11-02 taking 4 hours 10 minutes — see the log

Build started on 2017-11-01 on bos01-ppc64el-030 and finished on 2017-11-01 taking 4 hours 30 minutes — see the log

Build started on 2017-11-03 on lgw01-amd64-040 and finished on 2017-11-03 taking 11 hours — see the log

Build started on 2017-11-02 on bos01-arm64-014 and finished on 2017-11-03 taking 18 hours — see the log

Build started on 2017-12-05 on bos01-arm64-019 and finished on 2017-12-05 taking 14 hours — see the log

Build started on 2017-11-03 on lgw01-amd64-011 and finished on 2017-11-03 taking 4 hours — see the log

Build started on 2017-10-25 on bos01-arm64-009 and finished on 2017-10-26 taking 19 hours — see the log

Build started on 2017-10-25 on bos01-arm64-009 and finished on 2017-10-26 taking 19 hours — see the log

Build started on 2017-08-09 on z13-014 and finished on 2017-08-10 taking 3 hours 40 minutes — see the log

Build started on 2017-08-09 on z13-014 and finished on 2017-08-10 taking 3 hours 40 minutes — see the log

Build started on 2017-08-09 on bos01-ppc64el-024 and finished on 2017-08-10 taking 4 hours 30 minutes — see the log

Build started on 2017-08-09 on bos01-ppc64el-024 and finished on 2017-08-10 taking 4 hours 30 minutes — see the log

Build started on 2017-08-09 on lcy01-02 and finished on 2017-08-10 taking 7 hours — see the log

Build started on 2017-08-09 on lcy01-02 and finished on 2017-08-10 taking 7 hours — see the log

Build started on 2017-08-09 on bos01-arm64-042 and finished on 2017-08-10 taking 25 hours — see the log

Build started on 2017-08-09 on bos01-arm64-042 and finished on 2017-08-10 taking 25 hours — see the log

Build started on 2017-10-16 on bos01-arm64-041 and finished on 2017-10-16 taking 15 hours — see the log

Build started on 2017-10-16 on bos01-arm64-041 and finished on 2017-10-16 taking 15 hours — see the log

Build started on 2017-08-09 on lgw01-57 and finished on 2017-08-10 taking 7 hours 30 minutes — see the log

Build started on 2017-08-09 on lgw01-57 and finished on 2017-08-10 taking 7 hours 30 minutes — see the log

Build started on 2017-09-09 on bos01-ppc64el-022 and finished on 2017-09-09 taking 15 minutes — see the log

Build started on 2017-04-09 on bos01-ppc64el-021 and finished on 2017-04-09 taking 17 minutes — see the log

Build started on 2016-05-04 on z13-019 and finished on 2016-05-05 taking 3 hours 30 minutes — see the log

Build started on 2016-08-31 on bos01-ppc64el-029 and finished on 2016-08-31 taking 15 minutes — see the log

Build started on 2016-05-04 on sagari (powerpc) and finished on 2016-05-05 taking 4 hours 40 minutes — see the log

Build started on 2016-05-04 on lgw01-59 and finished on 2016-05-05 taking 7 hours 30 minutes — see the log

Build started on 2016-05-04 on kishi11 (highbank) and finished on 2016-05-05 taking 24 hours — see the log

Build started on 2016-05-08 on magic (arm64) and finished on 2016-05-09 taking 13 hours — see the log

Build started on 2016-05-04 on lgw01-11 and finished on 2016-05-05 taking 6 hours 40 minutes — see the log