Fri, 29 Mar 2024 08:11:48 UTC | login

Information for task buildSRPMFromSCM (/rpms/coq.git:41be1c198213787ddc73bf2a51b688623e81a054)

ID321257
MethodbuildSRPMFromSCM
Parameters Build tag: 34 (deleted)
Url: git+https://src.fedoraproject.org/rpms/coq.git#41be1c198213787ddc73bf2a51b688623e81a054
Options:
  scratch = None
  repo_id = 36674
State closed
CreatedFri, 10 Jan 2020 21:18:07 UTC
StartedFri, 10 Jan 2020 21:18:09 UTC
CompletedFri, 10 Jan 2020 21:32:43 UTC
Total time 0:14:35
Task time 0:14:33
Owner rjones
Channel default
Host fedora-riscv-11.gcc143.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f32-ocaml-119716-36674
Parent build (f32-ocaml, /rpms/coq.git:41be1c198213787ddc73bf2a51b688623e81a054)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
brootid = 119716
source = url=git+https://src.fedoraproject.org/rpms/coq.git#41be1c198213787ddc73bf2a51b688623e81a054, source=git+https://src.fedoraproject.org/rpms/coq.git#41be1c198213787ddc73bf2a51b688623e81a054
srpm = tasks/1257/321257/coq-8.9.1-10.fc32.src.rpm
logs = tasks/1257/321257/hw_info.log, tasks/1257/321257/root.log, tasks/1257/321257/state.log, tasks/1257/321257/build.log
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
coq-8.9.1-10.fc32.src.rpm