Builds for coq in Ubuntu Focal

Build started on 2020-04-09 on riscv64-qemu-lcy01-113 and finished on 2020-04-10 taking 22 hours — see the log

Build started on 2020-04-09 on riscv64-qemu-lcy01-113 and finished on 2020-04-10 taking 22 hours — see the log

Build started on 2020-04-13 on bos02-s390x-008 and finished on 2020-04-13 taking 27 minutes — see the log

Build started on 2020-04-13 on bos02-s390x-008 and finished on 2020-04-13 taking 27 minutes — see the log

Build started on 2020-03-11 on bos02-ppc64el-007 and finished on 2020-03-11 taking 38 minutes — see the log

Build started on 2020-03-11 on bos02-ppc64el-007 and finished on 2020-03-11 taking 38 minutes — see the log

Build started on 2020-04-13 on bos02-arm64-005 and finished on 2020-04-13 taking 1 hour 20 minutes — see the log

Build started on 2020-04-13 on bos02-arm64-005 and finished on 2020-04-13 taking 1 hour 20 minutes — see the log

Build started on 2020-03-06 on bos02-arm64-061 and finished on 2020-03-06 taking 1 hour 20 minutes — see the log

Build started on 2020-03-06 on bos02-arm64-061 and finished on 2020-03-06 taking 1 hour 20 minutes — see the log

Build started on 2020-03-06 on lgw01-amd64-058 and finished on 2020-03-06 taking 44 minutes — see the log

Build started on 2020-03-06 on lgw01-amd64-058 and finished on 2020-03-06 taking 44 minutes — see the log

Build started on 2020-02-24 on bos02-s390x-019 and finished on 2020-02-24 taking 24 minutes — see the log

Build started on 2020-02-24 on bos02-s390x-019 and finished on 2020-02-24 taking 24 minutes — see the log

Build started on 2020-02-24 on bos02-ppc64el-009 and finished on 2020-02-24 taking 37 minutes — see the log

Build started on 2020-02-24 on bos02-ppc64el-009 and finished on 2020-02-24 taking 37 minutes — see the log

Build started on 2020-02-24 on bos02-arm64-029 and finished on 2020-02-24 taking 1 hour — see the log

Build started on 2020-02-24 on bos02-arm64-029 and finished on 2020-02-24 taking 1 hour — see the log

Build started on 2020-02-24 on bos02-arm64-054 and finished on 2020-02-24 taking 1 hour 30 minutes — see the log

Build started on 2020-02-24 on bos02-arm64-054 and finished on 2020-02-24 taking 1 hour 30 minutes — see the log

Build started on 2020-02-24 on lgw01-amd64-027 and finished on 2020-02-24 taking 40 minutes — see the log

Build started on 2020-02-24 on lgw01-amd64-027 and finished on 2020-02-24 taking 40 minutes — see the log

Build started on 2020-02-21 on bos02-s390x-015 and finished on 2020-02-21 taking 16 minutes — see the log

Build started on 2020-02-21 on bos02-ppc64el-015 and finished on 2020-02-21 taking 24 minutes — see the log

Build started on 2020-02-21 on bos02-arm64-019 and finished on 2020-02-22 taking 45 minutes — see the log

Build started on 2020-02-21 on bos02-arm64-023 and finished on 2020-02-22 taking 51 minutes — see the log

Build started on 2020-02-24 on lcy01-amd64-023 and finished on 2020-02-24 taking 20 minutes — see the log

Build started on 2020-02-21 on bos02-s390x-015 and finished on 2020-02-21 taking 16 minutes — see the log

Build started on 2020-02-21 on bos02-ppc64el-011 and finished on 2020-02-21 taking 24 minutes — see the log

Build started on 2020-02-21 on bos02-arm64-006 and finished on 2020-02-21 taking 56 minutes — see the log

Build started on 2020-02-21 on bos02-arm64-072 and finished on 2020-02-21 taking 51 minutes — see the log

Build started on 2020-02-21 on lcy01-amd64-012 and finished on 2020-02-21 taking 19 minutes — see the log

Build started on 2020-01-27 on bos02-s390x-012 and finished on 2020-01-27 taking 15 minutes — see the log

Build started on 2020-01-27 on bos02-ppc64el-006 and finished on 2020-01-27 taking 23 minutes — see the log

Build started on 2020-01-27 on bos02-arm64-075 and finished on 2020-01-27 taking 54 minutes — see the log

Build started on 2020-01-27 on bos02-arm64-078 and finished on 2020-01-27 taking 49 minutes — see the log

Build started on 2020-01-27 on lgw01-amd64-020 and finished on 2020-01-27 taking 29 minutes — see the log

Build started on 2020-01-25 on bos02-s390x-012 and finished on 2020-01-25 taking 16 minutes — see the log

Build started on 2020-01-25 on bos02-ppc64el-008 and finished on 2020-01-25 taking 22 minutes — see the log

Build started on 2020-01-25 on bos02-arm64-066 and finished on 2020-01-25 taking 45 minutes — see the log

Build started on 2020-01-25 on bos02-arm64-058 and finished on 2020-01-25 taking 54 minutes — see the log

Build started on 2020-01-25 on lgw01-amd64-017 and finished on 2020-01-25 taking 20 minutes — see the log

Build started on 2019-11-08 on bos02-s390x-006 and finished on 2019-11-08 taking 19 minutes — see the log

Build started on 2019-11-08 on bos02-ppc64el-014 and finished on 2019-11-08 taking 27 minutes — see the log

Build started on 2019-11-08 on lgw01-amd64-021 and finished on 2019-11-08 taking 20 minutes — see the log

Build started on 2019-11-08 on bos02-arm64-046 and finished on 2019-11-09 taking 1 hour 10 minutes — see the log

Build started on 2019-11-08 on bos02-arm64-013 and finished on 2019-11-09 taking 54 minutes — see the log

Build started on 2019-11-08 on lcy01-amd64-011 and finished on 2019-11-08 taking 21 minutes — see the log

Build started on 2019-08-20 on bos02-s390x-007 and finished on 2019-08-20 taking 20 minutes — see the log

Build started on 2019-08-20 on bos02-ppc64el-020 and finished on 2019-08-20 taking 26 minutes — see the log

Build started on 2019-08-20 on lgw01-amd64-046 and finished on 2019-08-20 taking 32 minutes — see the log

Build started on 2019-08-20 on bos02-arm64-047 and finished on 2019-08-20 taking 48 minutes — see the log

Build started on 2019-08-20 on bos02-arm64-036 and finished on 2019-08-20 taking 58 minutes — see the log

Build started on 2019-08-20 on lgw01-amd64-010 and finished on 2019-08-20 taking 23 minutes — see the log