Sat, 08 Aug 2020 11:29:34 UTC

Information for task buildArch (why3-1.3.1-1.fc33.src.rpm, aarch64)

ID42767856
MethodbuildArch
Parameters SRPM: tasks/7846/42767846/why3-1.3.1-1.fc33.src.rpm
Build Tag: f33-build
Arch: aarch64
Keep SRPM? no
Options:
  repo_id = 1416712
State closed
CreatedWed, 25 Mar 2020 20:03:07 UTC
StartedWed, 25 Mar 2020 20:03:13 UTC
CompletedWed, 25 Mar 2020 20:16:50 UTC
Total time 0:13:43
Task time 0:13:37
Owner jjames
Channel default
Host buildvm-aarch64-17.arm.fedoraproject.org
Archaarch64
Buildroot /var/lib/mock/f33-build-20000602-1416712
Parent build (rawhide, /rpms/why3.git:b5b1f855be903015c9ce6934d7752b966748a917)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.39
Result
rpms = tasks/7856/42767856/why3-emacs-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/why3-examples-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/ocaml-why3-devel-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-xemacs-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/why3-all-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-debugsource-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/ocaml-why3-1.3.1-1 ...
rpms = tasks/7856/42767856/why3-emacs-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/why3-examples-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/ocaml-why3-devel-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-xemacs-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/why3-all-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-debugsource-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/ocaml-why3-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-proofgeneral-1.3.1-1.fc33.noarch.rpm, tasks/7856/42767856/ocaml-why3-debuginfo-1.3.1-1.fc33.aarch64.rpm, tasks/7856/42767856/why3-debuginfo-1.3.1-1.fc33.aarch64.rpm
srpms =
logs = tasks/7856/42767856/build.log, tasks/7856/42767856/root.log, tasks/7856/42767856/state.log, tasks/7856/42767856/hw_info.log, tasks/7856/42767856/mock_output.log, tasks/7856/42767856/noarch_rpmdiff.json
brootid = 20000602
Output