Wed, 03 Jun 2020 23:51:52 UTC

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

ID42804118
MethodbuildSRPMFromSCM
Parameters SCM URL: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Tag: f32-build
Options:
  scratch = 
  repo_id = 1418736
State closed
CreatedFri, 27 Mar 2020 18:02:10 UTC
StartedFri, 27 Mar 2020 18:02:10 UTC
CompletedFri, 27 Mar 2020 18:02:55 UTC
Total time 0:00:44
Task time 0:00:44
Owner jjames
Channel default
Host buildvm-07.phx2.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f32-build-20013532-1418736
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 = 20013532
srpm = tasks/4118/42804118/coq-8.11.0-1.fc32.src.rpm
logs = tasks/4118/42804118/hw_info.log, tasks/4118/42804118/state.log, tasks/4118/42804118/build.log, tasks/4118/42804118/root.log
Output