Fri, 13 Dec 2024 10:24:15 UTC | login

Information for task buildSRPMFromSCM (/rpms/coq.git:676893ea6ee304e262fa1253180d37919c1ff3b8)

ID1406343
MethodbuildSRPMFromSCM
Parameters Build tag: f38-build
Url: git+https://src.fedoraproject.org/rpms/coq.git#676893ea6ee304e262fa1253180d37919c1ff3b8
Options:
  repo_id = 92901
  scratch = None
State closed
CreatedFri, 05 May 2023 05:49:04 UTC
StartedFri, 05 May 2023 05:57:43 UTC
CompletedFri, 05 May 2023 06:11:40 UTC
Total time 0:22:35
Task time 0:13:57
Owner davidlt
Channel default
Host unmatchedbuild13.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f38-build-709384-92901
Parent build (f38, /rpms/coq.git:676893ea6ee304e262fa1253180d37919c1ff3b8)
Descendants
Waiting?no
Awaited?no
Priority4
Weight1.00
Result
srpm = tasks/6343/1406343/coq-8.17.0-1.fc38.src.rpm
logs = tasks/6343/1406343/hw_info.log, tasks/6343/1406343/state.log, tasks/6343/1406343/build.log, tasks/6343/1406343/root.log
brootid = 709384
source = url=git+https://src.fedoraproject.org/rpms/coq.git#676893ea6ee304e262fa1253180d37919c1ff3b8, source=git+https://src.fedoraproject.org/rpms/coq.git#676893ea6ee304e262fa1253180d37919c1ff3b8
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
coq-8.17.0-1.fc38.src.rpm