Sat, 30 May 2020 22:30:28 UTC

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

ID42766715
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Tag: f32-build
Options:
  scratch = 
  repo_id = 1416615
State closed
CreatedWed, 25 Mar 2020 18:47:47 UTC
StartedWed, 25 Mar 2020 18:47:48 UTC
CompletedWed, 25 Mar 2020 18:49:19 UTC
Total time 0:01:31
Task time 0:01:30
Owner jjames
Channel default
Host buildvm-armv7-22.arm.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f32-build-20000435-1416615
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 = 20000435
srpm = tasks/6715/42766715/coq-8.11.0-1.fc32.src.rpm
logs = tasks/6715/42766715/root.log, tasks/6715/42766715/hw_info.log, tasks/6715/42766715/state.log, tasks/6715/42766715/build.log
Output