Sat, 30 May 2020 20:18:36 UTC

Information for task buildSRPMFromSCM (/rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)

ID42803273
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Tag: f32-build
Options:
  scratch = 
  repo_id = 1418687
State closed
CreatedFri, 27 Mar 2020 17:14:22 UTC
StartedFri, 27 Mar 2020 17:14:23 UTC
CompletedFri, 27 Mar 2020 17:15:42 UTC
Total time 0:01:19
Task time 0:01:19
Owner jjames
Channel default
Host buildvm-armv7-16.arm.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f32-build-20013236-1418687
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
source = url=git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a, source=git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
brootid = 20013236
srpm = tasks/3273/42803273/coq-8.11.0-1.fc32.src.rpm
logs = tasks/3273/42803273/build.log, tasks/3273/42803273/hw_info.log, tasks/3273/42803273/root.log, tasks/3273/42803273/state.log
Output