Fri, 05 Jun 2020 20:30:38 UTC

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

ID42765074
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Tag: f33-build
Options:
  scratch = 
  repo_id = 1416511
State closed
CreatedWed, 25 Mar 2020 17:24:34 UTC
StartedWed, 25 Mar 2020 17:24:34 UTC
CompletedWed, 25 Mar 2020 17:25:19 UTC
Total time 0:00:45
Task time 0:00:44
Owner jjames
Channel default
Host buildvm-19.phx2.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f33-build-19999900-1416511
Parent build (rawhide, /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 = 19999900
srpm = tasks/5074/42765074/coq-8.11.0-1.fc33.src.rpm
logs = tasks/5074/42765074/hw_info.log, tasks/5074/42765074/state.log, tasks/5074/42765074/build.log, tasks/5074/42765074/root.log
Output