Sat, 08 Aug 2020 12:10:14 UTC

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

ID42767641
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Tag: f32-build
Options:
  scratch = 
  repo_id = 1416667
State closed
CreatedWed, 25 Mar 2020 19:41:44 UTC
StartedWed, 25 Mar 2020 19:41:44 UTC
CompletedWed, 25 Mar 2020 19:42:21 UTC
Total time 0:00:37
Task time 0:00:36
Owner jjames
Channel default
Host buildhw-02.phx2.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f32-build-20000560-1416667
Parent build (f32-candidate, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/7641/42767641/coq-8.11.0-1.fc32.src.rpm
logs = tasks/7641/42767641/root.log, tasks/7641/42767641/build.log, tasks/7641/42767641/hw_info.log, tasks/7641/42767641/state.log
brootid = 20000560
source = url=git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a, source=git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Output