Fri, 05 Jun 2020 19:51:26 UTC

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

ID42805997
MethodbuildArch
Parameters SRPM: tasks/5994/42805994/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: armv7hl
Keep SRPM? yes
Options:
  repo_id = 1418868
State closed
CreatedFri, 27 Mar 2020 19:52:04 UTC
StartedFri, 27 Mar 2020 19:52:04 UTC
CompletedFri, 27 Mar 2020 20:37:37 UTC
Total time 0:45:32
Task time 0:45:32
Owner jjames
Channel default
Host buildvm-armv7-20.arm.fedoraproject.org
Archarmhfp
Buildroot /var/lib/mock/f32-build-20013787-1418868
Parent build (f32-candidate, /rpms/coq.git:628588758fcc46eb0a62e5e242ffc24c2d05fc2d)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
brootid = 20013787
srpms = tasks/5997/42805997/coq-8.11.0-1.fc32.src.rpm
rpms = tasks/5997/42805997/coq-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-coqide-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-debugsource-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-coqide-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-d ...
brootid = 20013787
srpms = tasks/5997/42805997/coq-8.11.0-1.fc32.src.rpm
rpms = tasks/5997/42805997/coq-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-coqide-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-debugsource-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-coqide-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-debuginfo-8.11.0-1.fc32.armv7hl.rpm, tasks/5997/42805997/coq-doc-8.11.0-1.fc32.noarch.rpm
logs = tasks/5997/42805997/build.log, tasks/5997/42805997/root.log, tasks/5997/42805997/state.log, tasks/5997/42805997/hw_info.log, tasks/5997/42805997/mock_output.log, tasks/5997/42805997/noarch_rpmdiff.json
Output