Tue, 02 Jun 2020 00:41:39 UTC

Information for task buildArch (why3-1.3.1-2.fc33.src.rpm, armv7hl)

ID42824703
MethodbuildArch
Parameters SRPM: tasks/4677/42824677/why3-1.3.1-2.fc33.src.rpm
Build Tag: f33-build
Arch: armv7hl
Keep SRPM? yes
Options:
  repo_id = 1419641
State closed
CreatedSat, 28 Mar 2020 14:00:25 UTC
StartedSat, 28 Mar 2020 14:00:25 UTC
CompletedSat, 28 Mar 2020 14:13:15 UTC
Total time 0:12:50
Task time 0:12:49
Owner jjames
Channel default
Host buildvm-armv7-19.arm.fedoraproject.org
Archarmhfp
Buildroot /var/lib/mock/f33-build-20022558-1419641
Parent build (rawhide, /rpms/why3.git:1afbf9d426087420293c17044c9e1db782ecaee2)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.37
Result
brootid = 20022558
srpms = tasks/4703/42824703/why3-1.3.1-2.fc33.src.rpm
rpms = tasks/4703/42824703/why3-emacs-1.3.1-2.fc33.noarch.rpm, tasks/4703/42824703/ocaml-why3-devel-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/ocaml-why3-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-proofgeneral-1.3.1-2.fc33.noarch.rpm, tasks/4703/42824703/why3-debuginfo-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-d ...
brootid = 20022558
srpms = tasks/4703/42824703/why3-1.3.1-2.fc33.src.rpm
rpms = tasks/4703/42824703/why3-emacs-1.3.1-2.fc33.noarch.rpm, tasks/4703/42824703/ocaml-why3-devel-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/ocaml-why3-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-proofgeneral-1.3.1-2.fc33.noarch.rpm, tasks/4703/42824703/why3-debuginfo-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-debugsource-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/ocaml-why3-debuginfo-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-all-1.3.1-2.fc33.armv7hl.rpm, tasks/4703/42824703/why3-examples-1.3.1-2.fc33.noarch.rpm, tasks/4703/42824703/why3-xemacs-1.3.1-2.fc33.noarch.rpm
logs = tasks/4703/42824703/state.log, tasks/4703/42824703/root.log, tasks/4703/42824703/build.log, tasks/4703/42824703/hw_info.log, tasks/4703/42824703/mock_output.log, tasks/4703/42824703/noarch_rpmdiff.json
Output