Warning! Fedora moves to a new datacenter, which may result in some instabilities in Copr. The expected outage is expected to happen from 30th June to 4th July. For more information please refer to this ticket.

petersen/idris

Project ID: 1634

Build 747689

General Information

Status:: succeeded - Successfully built.
Submitted:: 2018-05-01 05:47 UTC (7 years ago)
Started:: 2018-05-01 05:47 UTC (7 years ago)
Finished:: 2018-05-01 12:11 UTC (7 years ago)
Build time:: 6 hours
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:: Source build has not started yet
Built Packages:: idris 1.2.0

Chroot Name	Dist Git Source	Build Time	Logs	State
epel-7-ppc64le	2e4a5ec	2 hours	builder-live.log.gz , backend.log.gz	succeeded
fedora-26-ppc64le	13995c4	36 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-28-i386	e9b1147	17 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-28-ppc64le	e9b1147	27 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-28-x86_64	e9b1147	27 minutes	builder-live.log.gz , backend.log.gz	succeeded
fedora-30-ppc64le	c29d276	27 minutes	RPM build has not started yet	forked
fedora-31-ppc64le	c29d276	27 minutes	RPM build has not started yet	forked
fedora-rawhide-ppc64le	c29d276	27 minutes	builder-live.log.gz , backend.log.gz	succeeded