Wed, 03 Jun 2020 23:46:49 UTC

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

ID42804138
MethodbuildArch
Parameters SRPM: tasks/4118/42804118/coq-8.11.0-1.fc32.src.rpm
Build Tag: f32-build
Arch: aarch64
Keep SRPM? no
Options:
  repo_id = 1418736
State closed
CreatedFri, 27 Mar 2020 18:03:09 UTC
StartedFri, 27 Mar 2020 18:03:10 UTC
CompletedFri, 27 Mar 2020 18:50:27 UTC
Total time 0:47:18
Task time 0:47:16
Owner jjames
Channel default
Host buildvm-aarch64-13.arm.fedoraproject.org
Archaarch64
Buildroot /var/lib/mock/f32-build-20013547-1418736
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight2.87
Result
brootid = 20013547
srpms =
rpms = tasks/4138/42804138/coq-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-coqide-debuginfo-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-doc-8.11.0-1.fc32.noarch.rpm, tasks/4138/42804138/coq-debuginfo-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-debugsource-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-coqide-8.11.0-1.fc32.aarch64.rpm
logs = tasks/4138/428 ...
brootid = 20013547
srpms =
rpms = tasks/4138/42804138/coq-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-coqide-debuginfo-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-doc-8.11.0-1.fc32.noarch.rpm, tasks/4138/42804138/coq-debuginfo-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-debugsource-8.11.0-1.fc32.aarch64.rpm, tasks/4138/42804138/coq-coqide-8.11.0-1.fc32.aarch64.rpm
logs = tasks/4138/42804138/root.log, tasks/4138/42804138/hw_info.log, tasks/4138/42804138/state.log, tasks/4138/42804138/build.log, tasks/4138/42804138/mock_output.log, tasks/4138/42804138/noarch_rpmdiff.json
Output