Mon, 20 May 2024 11:22:47 UTC | login

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

ID1298687
MethodbuildSRPMFromSCM
Parameters Build tag: f37-build
Url: git+https://src.fedoraproject.org/rpms/coq.git#f3e9333b09a82fabca82a9b438c198727d7d441c
Options:
  repo_id = 75517
  scratch = None
State closed
CreatedFri, 11 Nov 2022 09:00:07 UTC
StartedFri, 11 Nov 2022 10:49:07 UTC
CompletedFri, 11 Nov 2022 10:54:48 UTC
Total time 1:54:40
Task time 0:05:41
Owner davidlt
Channel default
Host unmatchedbuild04.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f37-build-672768-75517
Parent build (f37, /rpms/coq.git:f3e9333b09a82fabca82a9b438c198727d7d441c)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/8687/1298687/coq-8.16.0-1.fc37.src.rpm
logs = tasks/8687/1298687/hw_info.log, tasks/8687/1298687/state.log, tasks/8687/1298687/build.log, tasks/8687/1298687/root.log
brootid = 672768
source = url=git+https://src.fedoraproject.org/rpms/coq.git#f3e9333b09a82fabca82a9b438c198727d7d441c, source=git+https://src.fedoraproject.org/rpms/coq.git#f3e9333b09a82fabca82a9b438c198727d7d441c
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
coq-8.16.0-1.fc37.src.rpm