Builds for acl2 in Ubuntu Kinetic

Build started on 2022-07-27 on bos02-s390x-012 and finished on 2022-07-28 taking 9 hours 50 minutes — see the log

Build started on 2022-07-27 on bos02-s390x-012 and finished on 2022-07-28 taking 9 hours 50 minutes — see the log

Build started on 2022-09-04 on riscv64-qemu-lgw01-016 and finished on 2022-09-04 taking 1 hour

Build started on 2022-09-04 on riscv64-qemu-lgw01-016 and finished on 2022-09-04 taking 1 hour

Build started on 2022-07-27 on bos02-ppc64el-004 and finished on 2022-07-28 taking 11 hours — see the log

Build started on 2022-07-27 on bos02-ppc64el-004 and finished on 2022-07-28 taking 11 hours — see the log

Build started on 2022-07-30 on bos02-arm64-027 and finished on 2022-08-01 taking 45 hours — see the log

Build started on 2022-07-30 on bos02-arm64-027 and finished on 2022-08-01 taking 45 hours — see the log

Build started on 2022-07-31 on bos02-arm64-008 and finished on 2022-08-02 taking 43 hours — see the log

Build started on 2022-07-31 on bos02-arm64-008 and finished on 2022-08-02 taking 43 hours — see the log

Build started on 2022-07-27 on lcy02-amd64-001 and finished on 2022-07-28 taking 9 hours 20 minutes — see the log

Build started on 2022-07-27 on lcy02-amd64-001 and finished on 2022-07-28 taking 9 hours 20 minutes — see the log

Build started on 2021-12-18 on bos02-s390x-014 and finished on 2021-12-18 taking 9 hours 20 minutes — see the log

Build started on 2022-03-17 on riscv64-qemu-lcy01-062 and finished on 2022-03-18 taking 8 hours 20 minutes

Build started on 2021-12-25 on bos02-ppc64el-020 and finished on 2021-12-25 taking 11 hours — see the log

Build started on 2021-12-24 on bos02-arm64-013 and finished on 2021-12-26 taking 44 hours — see the log

Build started on 2021-12-24 on bos02-arm64-056 and finished on 2021-12-26 taking 46 hours — see the log

Build started on 2021-12-18 on lcy02-amd64-032 and finished on 2021-12-18 taking 11 hours — see the log