Builds for acl2 in Ubuntu Lunar

Build started on 2023-01-16 on bos01-s390x-005 and finished on 2023-01-17 taking 11 hours — see the log

Build started on 2023-01-16 on bos01-s390x-005 and finished on 2023-01-17 taking 11 hours — see the log

Build started on 2023-02-07 on riscv64-qemu-lgw01-020 and finished on 2023-02-15 taking 8 days — see the log

Build started on 2023-02-07 on riscv64-qemu-lgw01-020 and finished on 2023-02-15 taking 8 days — see the log

Build started on 2023-01-16 on bos01-ppc64el-012 and finished on 2023-01-17 taking 11 hours — see the log

Build started on 2023-01-16 on bos01-ppc64el-012 and finished on 2023-01-17 taking 11 hours — see the log

Build started on 2023-01-16 on bos01-arm64-018 and finished on 2023-01-17 taking 13 hours — see the log

Build started on 2023-01-16 on bos01-arm64-018 and finished on 2023-01-17 taking 13 hours — see the log

Build started on 2023-01-16 on bos01-arm64-011 and finished on 2023-01-17 taking 24 hours — see the log

Build started on 2023-01-16 on bos01-arm64-011 and finished on 2023-01-17 taking 24 hours — see the log

Build started on 2023-01-16 on lcy02-amd64-107 and finished on 2023-01-17 taking 8 hours 50 minutes — see the log

Build started on 2023-01-16 on lcy02-amd64-107 and finished on 2023-01-17 taking 8 hours 50 minutes — see the log

Build started on 2023-01-14 on bos02-s390x-017 and finished on 2023-01-14 taking 10 hours — see the log

Build started on 2023-01-14 on bos02-s390x-017 and finished on 2023-01-14 taking 10 hours — see the log

Build started on 2023-01-14 on bos02-ppc64el-025 and finished on 2023-01-14 taking 10 hours — see the log

Build started on 2023-01-14 on bos02-ppc64el-025 and finished on 2023-01-14 taking 10 hours — see the log

Build started on 2023-01-14 on bos02-arm64-069 and finished on 2023-01-14 taking 13 hours — see the log

Build started on 2023-01-14 on bos02-arm64-069 and finished on 2023-01-14 taking 13 hours — see the log

Build started on 2023-01-14 on bos02-arm64-068 and finished on 2023-01-15 taking 26 hours — see the log

Build started on 2023-01-14 on bos02-arm64-068 and finished on 2023-01-15 taking 26 hours — see the log

Build started on 2023-01-14 on lcy02-amd64-081 and finished on 2023-01-14 taking 8 hours 20 minutes — see the log

Build started on 2023-01-14 on lcy02-amd64-081 and finished on 2023-01-14 taking 8 hours 20 minutes — see the log

Build started on 2022-12-30 on bos01-s390x-016 and finished on 2022-12-31 taking 11 hours — see the log

Build started on 2022-12-30 on bos01-s390x-016 and finished on 2022-12-31 taking 11 hours — see the log

Build started on 2023-01-07 on riscv64-qemu-lgw01-029 and finished on 2023-01-09 taking 2 days

Build started on 2023-01-07 on riscv64-qemu-lgw01-029 and finished on 2023-01-09 taking 2 days

Build started on 2022-12-30 on bos02-ppc64el-003 and finished on 2022-12-31 taking 11 hours — see the log

Build started on 2022-12-30 on bos02-ppc64el-003 and finished on 2022-12-31 taking 11 hours — see the log

Build started on 2022-12-30 on bos01-arm64-003 and finished on 2023-01-01 taking 26 hours — see the log

Build started on 2022-12-30 on bos01-arm64-003 and finished on 2023-01-01 taking 26 hours — see the log

Build started on 2022-12-30 on bos02-arm64-018 and finished on 2023-01-01 taking 40 hours — see the log

Build started on 2022-12-30 on bos02-arm64-018 and finished on 2023-01-01 taking 40 hours — see the log

Build started on 2022-12-30 on lcy02-amd64-035 and finished on 2022-12-31 taking 8 hours 20 minutes — see the log

Build started on 2022-12-30 on lcy02-amd64-035 and finished on 2022-12-31 taking 8 hours 20 minutes — see the log

Build started on 2022-12-22 on bos02-s390x-017 and finished on 2022-12-23 taking 10 hours — see the log

Build started on 2022-12-22 on bos02-s390x-017 and finished on 2022-12-23 taking 10 hours — see the log

Build started on 2022-12-22 on bos02-ppc64el-005 and finished on 2022-12-23 taking 11 hours — see the log

Build started on 2022-12-22 on bos02-ppc64el-005 and finished on 2022-12-23 taking 11 hours — see the log

Build started on 2022-12-22 on bos02-arm64-041 and finished on 2022-12-24 taking 43 hours — see the log

Build started on 2022-12-22 on bos02-arm64-041 and finished on 2022-12-24 taking 43 hours — see the log

Build started on 2022-12-22 on bos02-arm64-019 and finished on 2022-12-24 taking 41 hours — see the log

Build started on 2022-12-22 on bos02-arm64-019 and finished on 2022-12-24 taking 41 hours — see the log

Build started on 2022-12-22 on lcy02-amd64-025 and finished on 2022-12-23 taking 8 hours 40 minutes — see the log

Build started on 2022-12-22 on lcy02-amd64-025 and finished on 2022-12-23 taking 8 hours 40 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-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-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