Information for task buildArch (coq-8.11.0-1.fc32.src.rpm, armv7hl)
ID | 42804135 |
---|---|
Method | buildArch |
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 |
Created | Fri, 27 Mar 2020 18:03:09 UTC |
Started | Fri, 27 Mar 2020 18:03:14 UTC |
Completed | Fri, 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 |
Arch | armhfp |
Buildroot |
/var/lib/mock/f32-build-20013549-1418736 |
Parent | build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 2.87 |
Result |
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
srpms = tasks/4135/42804135/coq-8.11.0-1. ...
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
srpms = tasks/4135/42804135/coq-8.11.0-1.fc32.src.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 brootid = 20013549 |
Output |