Sun, 05 Jul 2020 08:35:46 UTC

Information for task build (rawhide, /rpms/gappalib-coq.git:7fa73970fba06a2322d21e9ff9d8a64927b4cdb1)

ID42878333
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#7fa73970fba06a2322d21e9ff9d8a64927b4cdb1
Build Target: rawhide
State closed
Buildgappalib-coq-1.4.2-6.fc33
CreatedMon, 30 Mar 2020 16:37:55 UTC
StartedMon, 30 Mar 2020 16:37:56 UTC
CompletedMon, 30 Mar 2020 16:43:22 UTC
Total time 0:05:27
Task time 0:05:26
Owner jjames
Channel default
Host buildvm-armv7-12.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output