Builds for coq in Ubuntu Groovy

Build started on 2020-10-04 on bos02-s390x-018 and finished on 2020-10-04 taking 25 minutes — see the log

Build started on 2020-10-04 on bos02-s390x-018 and finished on 2020-10-04 taking 25 minutes — see the log

Build started on 2020-10-04 on riscv64-qemu-lcy01-062 and finished on 2020-10-04 taking 13 hours — see the log

Build started on 2020-10-04 on riscv64-qemu-lcy01-062 and finished on 2020-10-04 taking 13 hours — see the log

Build started on 2020-10-04 on bos02-ppc64el-021 and finished on 2020-10-04 taking 41 minutes — see the log

Build started on 2020-10-04 on bos02-ppc64el-021 and finished on 2020-10-04 taking 41 minutes — see the log

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

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

Build started on 2020-10-04 on bos02-arm64-017 and finished on 2020-10-04 taking 1 hour 40 minutes — see the log

Build started on 2020-10-04 on bos02-arm64-017 and finished on 2020-10-04 taking 1 hour 40 minutes — see the log

Build started on 2020-10-04 on lgw01-amd64-032 and finished on 2020-10-04 taking 31 minutes — see the log

Build started on 2020-10-04 on lgw01-amd64-032 and finished on 2020-10-04 taking 31 minutes — see the log

Build started on 2020-09-22 on bos02-s390x-012 and finished on 2020-09-22 taking 29 minutes — see the log

Build started on 2020-09-22 on bos02-s390x-012 and finished on 2020-09-22 taking 29 minutes — see the log

Build started on 2020-09-15 on riscv64-qemu-lcy01-086 and finished on 2020-09-15 taking 12 hours — see the log

Build started on 2020-09-15 on riscv64-qemu-lcy01-086 and finished on 2020-09-15 taking 12 hours — see the log

Build started on 2020-09-15 on bos02-ppc64el-014 and finished on 2020-09-15 taking 47 minutes — see the log

Build started on 2020-09-15 on bos02-ppc64el-014 and finished on 2020-09-15 taking 47 minutes — see the log

Build started on 2020-09-15 on bos02-arm64-060 and finished on 2020-09-15 taking 1 hour 30 minutes — see the log

Build started on 2020-09-15 on bos02-arm64-060 and finished on 2020-09-15 taking 1 hour 30 minutes — see the log

Build started on 2020-09-15 on bos02-arm64-051 and finished on 2020-09-15 taking 1 hour 40 minutes — see the log

Build started on 2020-09-15 on bos02-arm64-051 and finished on 2020-09-15 taking 1 hour 40 minutes — see the log

Build started on 2020-09-15 on lcy01-amd64-024 and finished on 2020-09-15 taking 32 minutes — see the log

Build started on 2020-09-15 on lcy01-amd64-024 and finished on 2020-09-15 taking 32 minutes — see the log

Build started on 2020-05-21 on bos02-s390x-004 and finished on 2020-05-21 taking 27 minutes — see the log

Build started on 2020-05-21 on bos02-s390x-004 and finished on 2020-05-21 taking 27 minutes — see the log

Build started on 2020-05-21 on riscv64-qemu-lcy01-010 and finished on 2020-05-22 taking 24 hours — see the log

Build started on 2020-05-21 on riscv64-qemu-lcy01-010 and finished on 2020-05-22 taking 24 hours — see the log

Build started on 2020-05-13 on bos02-ppc64el-001 and finished on 2020-05-13 taking 39 minutes — see the log

Build started on 2020-05-13 on bos02-ppc64el-001 and finished on 2020-05-13 taking 39 minutes — see the log

Build started on 2020-05-21 on bos02-arm64-004 and finished on 2020-05-21 taking 1 hour 10 minutes — see the log

Build started on 2020-05-21 on bos02-arm64-004 and finished on 2020-05-21 taking 1 hour 10 minutes — see the log

Build started on 2020-05-13 on bos02-arm64-024 and finished on 2020-05-13 taking 1 hour 30 minutes — see the log

Build started on 2020-05-13 on bos02-arm64-024 and finished on 2020-05-13 taking 1 hour 30 minutes — see the log

Build started on 2020-05-13 on lgw01-amd64-028 and finished on 2020-05-13 taking 57 minutes — see the log

Build started on 2020-05-13 on lgw01-amd64-028 and finished on 2020-05-13 taking 57 minutes — 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-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-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