Builds for spass in Ubuntu Bionic

18 of 8 results
[FAILEDTOBUILD] riscv64 build of spass 3.7-4 in ubuntu focal RELEASE
Build started on riscv64-qemu-lcy01-087 and finished taking 8 minutes — see the log
[FULLYBUILT] s390x build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on z13-026 and finished taking 3 minutes — see the log
[FULLYBUILT] ppc64el build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on bos01-ppc64el-029 and finished taking 2 minutes — see the log
[FULLYBUILT] powerpc build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on denneed05 (powerpc) and finished taking 4 minutes — see the log
[FULLYBUILT] i386 build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on lgw01-32 and finished taking 2 minutes — see the log
[FULLYBUILT] armhf build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on bos01-arm64-029 and finished taking 2 minutes — see the log
[FULLYBUILT] arm64 build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on bos01-arm64-031 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of spass 3.7-4 in ubuntu zesty PROPOSED
Build started on lcy01-09 and finished taking 2 minutes — see the log
18 of 8 results