petersen/idris

Project ID: 1634

Build 507850

General Information

Status:
succeeded - Successfully built.
Submitted:
2017-02-06 10:09 UTC (7 years ago)
Started:
2017-02-06 10:09 UTC (7 years ago)
Finished:
2017-02-06 10:29 UTC (7 years ago)
Build time:
20 minutes
Build timeout:
18 hours
Networking enabled:
True
Directory:
idris
Built by:
petersen

Source

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

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
idris 0.99
Chroot Name Dist Git Source Build Time Logs State
fedora-25-i386 c41fc54 14 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-25-x86_64 c41fc54 20 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-26-i386 b6d366a 19 minutes builder-live.log.gz , backend.log.gz succeeded