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 1st July. For more information please refer to this ticket.

bogdan2412/opam

( forked from jonludlam/opam )

Project ID: 7539

Build 303686

General Information

Status:: failed - Build failed. See logs for more details.
Submitted:: 2015-10-15 15:57 UTC (9 years ago)
Started:: 2015-10-15 15:57 UTC (9 years ago)
Finished:: 2015-10-15 16:04 UTC (9 years ago)
Build time:: 6 minutes
Build timeout:: 6 hours
Networking enabled:: True
Directory:: opam
Built by:: jonludlam

Source

Package:: gringo
Version:: 4.5.3-1.el7.centos
Source Type:: External link to .spec or SRPM
Package URL:: http://www.recoil.org/~jon/gringo-4.5.3-1.el7.centos.src.rpm

Results

Source state:: succeeded
Source build logs:: builder-live.log.gz , backend.log.gz
Built Packages:: gringo 4.5.3; gringo-debuginfo 4.5.3; gringo-devel 4.5.3

Chroot Name	Dist Git Source	Build Time	Logs	State	Log Detective AI
epel-7-x86_64	21d27ea	3 minutes	builder-live.log.gz , backend.log.gz	succeeded	-
fedora-21-i386	504ebd0	6 minutes	builder-live.log.gz , backend.log.gz	succeeded	-
fedora-21-x86_64	504ebd0	4 minutes	builder-live.log.gz , backend.log.gz	succeeded	-
fedora-22-i386	2b4f0b9	4 minutes	builder-live.log.gz , backend.log.gz	succeeded	-
fedora-22-x86_64	2b4f0b9	3 minutes	builder-live.log.gz , backend.log.gz	succeeded	-
fedora-23-i386	9f3804b	3 minutes	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI
fedora-23-x86_64	9f3804b	3 minutes	builder-live.log.gz , backend.log.gz	failed	Ask AI / Teach AI