build (rawhide, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a) | Task Info

ID	42765073
Method	build
Parameters	Source: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a Build Target: rawhide
State	closed
Build	coq-8.11.0-1.fc33
Created	Wed, 25 Mar 2020 17:24:32 UTC
Started	Wed, 25 Mar 2020 17:24:32 UTC
Completed	Wed, 25 Mar 2020 18:19:46 UTC
Total time	0:55:14
Task time	0:55:13
Owner	jjames
Channel	default
Host	buildvm-21.phx2.fedoraproject.org
Arch	noarch
Parent
Descendants	build buildSRPMFromSCM (/rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a) buildArch (coq-8.11.0-1.fc33.src.rpm, armv7hl) buildArch (coq-8.11.0-1.fc33.src.rpm, i686) buildArch (coq-8.11.0-1.fc33.src.rpm, x86_64) buildArch (coq-8.11.0-1.fc33.src.rpm, aarch64) buildArch (coq-8.11.0-1.fc33.src.rpm, ppc64le) buildArch (coq-8.11.0-1.fc33.src.rpm, s390x) tagBuild (noarch)
Waiting?	no
Awaited?	no
Priority	20
Weight	0.20
Result
Output