Wed, 03 Jun 2020 22:59:29 UTC

Information for task buildArch (coq-8.11.0-1.fc32.src.rpm, armv7hl)

ID42804135
MethodbuildArch
Parameters SRPM: tasks/4118/42804118/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: armv7hl
Keep SRPM? yes
Options:
  repo_id = 1418736
State closed
CreatedFri, 27 Mar 2020 18:03:09 UTC
StartedFri, 27 Mar 2020 18:03:14 UTC
CompletedFri, 27 Mar 2020 18:48:44 UTC
Total time 0:45:35
Task time 0:45:30
Owner jjames
Channel default
Host buildvm-armv7-20.arm.fedoraproject.org
Archarmhfp
Buildroot /var/lib/mock/f32-build-20013549-1418736
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
brootid = 20013549
srpms = tasks/4135/42804135/coq-8.11.0-1.fc32.src.rpm
rpms = tasks/4135/42804135/coq-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-coqide-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-debugsource-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-coqide-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-d ...
brootid = 20013549
srpms = tasks/4135/42804135/coq-8.11.0-1.fc32.src.rpm
rpms = tasks/4135/42804135/coq-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-coqide-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-debugsource-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-coqide-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/4135/42804135/coq-doc-8.11.0-1.fc32.noarch.rpm
logs = tasks/4135/42804135/build.log, tasks/4135/42804135/root.log, tasks/4135/42804135/state.log, tasks/4135/42804135/hw_info.log, tasks/4135/42804135/mock_output.log, tasks/4135/42804135/noarch_rpmdiff.json
Output