Builds for agda in Ubuntu Yakkety

Build started on 2016-08-09 on z13-011 and finished on 2016-08-09 taking 40 minutes — see the log

Build started on 2016-08-09 on z13-011 and finished on 2016-08-09 taking 40 minutes — see the log

Build started on 2016-08-09 on bos01-ppc64el-020 and finished on 2016-08-09 taking 45 minutes — see the log

Build started on 2016-08-09 on bos01-ppc64el-020 and finished on 2016-08-09 taking 45 minutes — see the log

Build started on 2016-08-09 on denneed02 (powerpc) and finished on 2016-08-09 taking 24 minutes — see the log

Build started on 2016-08-09 on denneed02 (powerpc) and finished on 2016-08-09 taking 24 minutes — see the log

Build started on 2016-08-09 on lcy01-31 and finished on 2016-08-09 taking 12 minutes — see the log

Build started on 2016-08-09 on lcy01-31 and finished on 2016-08-09 taking 12 minutes — see the log

Build started on 2016-08-09 on bos01-arm64-015 and finished on 2016-08-09 taking 2 hours — see the log

Build started on 2016-08-09 on bos01-arm64-015 and finished on 2016-08-09 taking 2 hours — see the log

Build started on 2016-08-09 on bos01-arm64-020 and finished on 2016-08-09 taking 2 hours — see the log

Build started on 2016-08-09 on bos01-arm64-020 and finished on 2016-08-09 taking 2 hours — see the log

Build started on 2016-08-09 on lgw01-13 and finished on 2016-08-09 taking 27 minutes — see the log

Build started on 2016-08-09 on lgw01-13 and finished on 2016-08-09 taking 27 minutes — see the log

Build started on 2016-07-15 on z13-021 and finished on 2016-07-15 taking 34 minutes — see the log

Build started on 2016-07-15 on bos01-ppc64el-006 and finished on 2016-07-15 taking 40 minutes — see the log

Build started on 2016-07-15 on denneed01 (powerpc) and finished on 2016-07-15 taking 21 minutes — see the log

Build started on 2016-07-15 on lgw01-08 and finished on 2016-07-15 taking 14 minutes — see the log

Build started on 2016-07-15 on bos01-arm64-017 and finished on 2016-07-15 taking 2 hours — see the log

Build started on 2016-07-15 on bos01-arm64-034 and finished on 2016-07-15 taking 1 hour 50 minutes — see the log

Build started on 2016-07-15 on lgw01-26 and finished on 2016-07-15 taking 33 minutes — see the log

Build started on 2016-06-20 on z13-019 and finished on 2016-06-20 taking 31 minutes — see the log

Build started on 2016-06-20 on z13-019 and finished on 2016-06-20 taking 31 minutes — see the log

Build started on 2016-06-20 on bos01-ppc64el-030 and finished on 2016-06-20 taking 40 minutes — see the log

Build started on 2016-06-20 on bos01-ppc64el-030 and finished on 2016-06-20 taking 40 minutes — see the log

Build started on 2016-06-20 on denneed04 (powerpc) and finished on 2016-06-20 taking 20 minutes — see the log

Build started on 2016-06-20 on denneed04 (powerpc) and finished on 2016-06-20 taking 20 minutes — see the log

Build started on 2016-06-20 on lcy01-09 and finished on 2016-06-20 taking 17 minutes — see the log

Build started on 2016-06-20 on lcy01-09 and finished on 2016-06-20 taking 17 minutes — see the log

Build started on 2016-06-20 on kishi13 (highbank) and finished on 2016-06-21 taking 1 hour 30 minutes — see the log

Build started on 2016-06-20 on kishi13 (highbank) and finished on 2016-06-21 taking 1 hour 30 minutes — see the log

Build started on 2016-06-20 on bos01-arm64-010 and finished on 2016-06-21 taking 1 hour 50 minutes — see the log

Build started on 2016-06-20 on bos01-arm64-010 and finished on 2016-06-21 taking 1 hour 50 minutes — see the log

Build started on 2016-06-20 on lcy01-06 and finished on 2016-06-21 taking 1 hour 10 minutes — see the log

Build started on 2016-06-20 on lcy01-06 and finished on 2016-06-21 taking 1 hour 10 minutes — see the log

Build started on 2016-06-17 on z13-027 and finished on 2016-06-17 taking 30 minutes — see the log

Build started on 2016-06-17 on bos01-ppc64el-025 and finished on 2016-06-17 taking 40 minutes — see the log

Build started on 2016-06-17 on denneed03 (powerpc) and finished on 2016-06-17 taking 20 minutes — see the log

Build started on 2016-06-17 on lgw01-20 and finished on 2016-06-17 taking 19 minutes — see the log

Build started on 2016-06-17 on kishi04 (highbank) and finished on 2016-06-17 taking 1 hour 30 minutes — see the log

Build started on 2016-06-17 on magic (arm64) and finished on 2016-06-17 taking 1 hour 50 minutes — see the log

Build started on 2016-06-17 on lgw01-40 and finished on 2016-06-17 taking 29 minutes — see the log

Build started on 2016-04-26 on kishi11 (highbank) and finished on 2016-04-26 taking 1 hour 40 minutes — see the log

Build started on 2016-01-12 on z13-008 and finished on 2016-01-12 taking 29 minutes — see the log

Build started on 2016-01-12 on bos01-ppc64el-005 and finished on 2016-01-12 taking 36 minutes — see the log

Build started on 2016-01-12 on sagari (powerpc) and finished on 2016-01-12 taking 17 minutes — see the log

Build started on 2016-01-12 on lgw01-48 and finished on 2016-01-12 taking 15 minutes — see the log

Build started on 2017-06-21 on bos01-arm64-034 and finished on 2017-06-21 taking 2 hours — see the log

Build started on 2016-01-12 on bos01-arm64-007 and finished on 2016-01-13 taking 1 hour 40 minutes — see the log

Build started on 2016-01-12 on lcy01-28 and finished on 2016-01-12 taking 29 minutes — see the log