1. Home
  2. petersen
  3. idris
  4. Builds
  5. 719588
  • 0

petersen/idris

Project ID: 1634

Build 719588

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2018-02-22 07:23 UTC (6 years ago)
Started:
2018-02-22 07:23 UTC (6 years ago)
Finished:
2018-02-22 07:58 UTC (6 years ago)
Build time:
34 minutes
Build timeout:
18 hours
Networking enabled:
True
Directory:
idris
Built by:
petersen

Source

Package:
idris
Version:
1.2.0-1
Source Type:
External link to .spec or SRPM
Package URL:
http://petersen.fedorapeople.org/copr/idris-1.2.0-1.src.rpm

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
idris 1.2.0
Chroot Name Dist Git Source Build Time Logs State
epel-7-x86_64 6974777 10 minutes builder-live.log.gz , backend.log.gz failed
fedora-26-i386 4e14bde 27 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-26-x86_64 4e14bde 27 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-27-i386 96a7807 29 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-27-ppc64le 96a7807 34 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-30-i386 687211e 19 minutes RPM build has not started yet forked
fedora-30-x86_64 687211e 19 minutes RPM build has not started yet forked
fedora-31-i386 687211e 19 minutes RPM build has not started yet forked
fedora-31-x86_64 687211e 19 minutes RPM build has not started yet forked
fedora-rawhide-i386 687211e 19 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-rawhide-x86_64 687211e 19 minutes builder-live.log.gz , backend.log.gz succeeded