Wed, 03 Jun 2020 21:50:48 UTC

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

ID42768076
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Tag: f32-build
Options:
  scratch = 
  repo_id = 1416711
State closed
CreatedWed, 25 Mar 2020 20:37:25 UTC
StartedWed, 25 Mar 2020 20:37:25 UTC
CompletedWed, 25 Mar 2020 20:38:46 UTC
Total time 0:01:21
Task time 0:01:21
Owner jjames
Channel default
Host buildvm-armv7-14.arm.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f32-build-20000641-1416711
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 = 20000641
srpm = tasks/8076/42768076/coq-8.11.0-1.fc32.src.rpm
logs = tasks/8076/42768076/hw_info.log, tasks/8076/42768076/state.log, tasks/8076/42768076/build.log, tasks/8076/42768076/root.log
Output