Ubuntu
agda package

Builds for agda in Ubuntu Eoan

  1. Eoan (19.10)
  2. Builds
1 → 39 of 39 results First • Previous • Next • Last
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1build2 in ubuntu focal RELEASE
Build started on bos02-arm64-037 and finished taking 3 hours — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1build2 in ubuntu focal RELEASE
Build started on bos02-arm64-037 and finished taking 3 hours — see the log
[FULLYBUILT] s390x build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-s390x-008 and finished taking 48 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-s390x-008 and finished taking 48 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-ppc64el-018 and finished taking 44 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-ppc64el-018 and finished taking 44 minutes — see the log
[FULLYBUILT] i386 build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-040 and finished taking 22 minutes — see the log
[FULLYBUILT] i386 build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-040 and finished taking 22 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-arm64-077 and finished taking 8 hours 20 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-arm64-077 and finished taking 8 hours 20 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-arm64-059 and finished taking 3 hours — see the log
[FULLYBUILT] arm64 build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on bos02-arm64-059 and finished taking 3 hours — see the log
[FULLYBUILT] amd64 build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-019 and finished taking 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.0.1-1build2 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-019 and finished taking 30 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.0.1-1build1 in ubuntu eoan PROPOSED
Build started on bos02-s390x-005 and finished taking 47 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.0.1-1build1 in ubuntu eoan PROPOSED
Build started on bos02-ppc64el-018 and finished taking 43 minutes — see the log
[FULLYBUILT] i386 build of agda 2.6.0.1-1build1 in ubuntu eoan PROPOSED
Build started on lcy01-amd64-019 and finished taking 30 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1build1 in ubuntu eoan PROPOSED
Build started on bos02-arm64-079 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.6.0.1-1build1 in ubuntu eoan PROPOSED
Build started on bos02-arm64-078 and finished taking 2 hours 50 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.0.1-1build1 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-056 and finished taking 21 minutes — see the log
[FULLYBUILT] s390x build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED
Build started on bos02-s390x-010 and finished taking 47 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED
Build started on bos02-ppc64el-006 and finished taking 43 minutes — see the log
[FULLYBUILT] i386 build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-038 and finished taking 17 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED
Build started on bos02-arm64-059 and finished taking 3 hours — see the log
[FULLYBUILT] arm64 build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED
Build started on bos02-arm64-052 and finished taking 3 hours 30 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-034 and finished taking 21 minutes — see the log
[FAILEDTOBUILD] s390x build of agda 2.5.4.1-3build1 in ubuntu eoan PROPOSED
Build started on bos02-s390x-018 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] ppc64el build of agda 2.5.4.1-3build1 in ubuntu eoan PROPOSED
Build started on bos02-ppc64el-016 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] i386 build of agda 2.5.4.1-3build1 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-036 and finished taking 1 minute — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.4.1-3build1 in ubuntu eoan PROPOSED
Build started on bos02-arm64-075 and finished taking 3 minutes — see the log
[FAILEDTOBUILD] arm64 build of agda 2.5.4.1-3build1 in ubuntu eoan PROPOSED
Build started on bos02-arm64-072 and finished taking 3 minutes — see the log
[FAILEDTOBUILD] amd64 build of agda 2.5.4.1-3build1 in ubuntu eoan PROPOSED
Build started on lgw01-amd64-039 and finished taking 2 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.4.1-3 in ubuntu eoan RELEASE
Build started on bos02-arm64-021 and finished taking 1 hour 30 minutes — see the log
[FULLYBUILT] s390x build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
Build started on bos02-s390x-002 and finished taking 42 minutes — see the log
[FULLYBUILT] ppc64el build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
Build started on bos02-ppc64el-004 and finished taking 33 minutes — see the log
[FULLYBUILT] i386 build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
Build started on lcy01-amd64-007 and finished taking 14 minutes — see the log
[FAILEDTOBUILD] armhf build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
Build started on bos02-arm64-005 and finished taking 1 hour 20 minutes — see the log
[FULLYBUILT] arm64 build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
Build started on bos02-arm64-005 and finished taking 2 hours 20 minutes — see the log
[FULLYBUILT] amd64 build of agda 2.5.4.1-3 in ubuntu disco PROPOSED
Build started on lgw01-amd64-048 and finished taking 35 minutes — see the log
1 → 39 of 39 results First • Previous • Next • Last