jakub/gcc-13-test

Project ID: 76623

Build 5167367 background

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2022-12-22 18:54 UTC (1 year, 6 months ago)
Started:
2022-12-22 22:03 UTC (1 year, 6 months ago)
Finished:
2022-12-23 02:05 UTC (1 year, 6 months ago)
Build time:
4 hours
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
62203
Directory:
gcc-13-test
Built by:
jakub

Source

Package:
Agda
Version:
2.6.2.2-37
Source Type:
Build from DistGit
Committish:
6a1a838a851380839a066b00cb707a2d902ab460
Clone_Url:
https://src.fedoraproject.org/rpms/Agda.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
Agda 2.6.2.2
Agda-common 2.6.2.2
ghc-Agda 2.6.2.2
ghc-Agda-devel 2.6.2.2
ghc-Agda-doc 2.6.2.2
ghc-Agda-prof 2.6.2.2
ghc-geniplate-mirror 0.7.8
ghc-geniplate-mirror-devel 0.7.8
ghc-geniplate-mirror-doc 0.7.8
ghc-geniplate-mirror-prof 0.7.8
ghc-murmur-hash 0.1.0.10
ghc-murmur-hash-devel 0.1.0.10
ghc-murmur-hash-doc 0.1.0.10
ghc-murmur-hash-prof 0.1.0.10
Chroot Name Dist Git Source Build Time Logs State
fedora-38-ppc64le 1d32f25 an hour RPM build has not started yet forked
fedora-38-s390x 1d32f25 4 hours RPM build has not started yet forked
fedora-38-x86_64 1d32f25 31 minutes RPM build has not started yet forked
fedora-39-ppc64le 1d32f25 an hour RPM build has not started yet forked
fedora-39-s390x 1d32f25 4 hours RPM build has not started yet forked
fedora-39-x86_64 1d32f25 31 minutes RPM build has not started yet forked
fedora-40-ppc64le 1d32f25 an hour RPM build has not started yet forked
fedora-40-s390x 1d32f25 4 hours RPM build has not started yet forked
fedora-40-x86_64 1d32f25 31 minutes RPM build has not started yet forked
fedora-rawhide-i386 1d32f25 a minute builder-live.log.gz , backend.log.gz failed
fedora-rawhide-ppc64le 1d32f25 an hour builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-s390x 1d32f25 4 hours builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-x86_64 1d32f25 31 minutes builder-live.log.gz , backend.log.gz succeeded