Sat, 18 May 2024 07:11:09 UTC | login

Information for task buildSRPMFromSCM (/rpms/gappalib-coq.git:65c56357eae2a5786e8603989cf270c236dfb20c)

ID1443723
MethodbuildSRPMFromSCM
Parameters Build tag: f38-build
Url: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#65c56357eae2a5786e8603989cf270c236dfb20c
Options:
  repo_id = 98681
  scratch = None
State closed
CreatedMon, 12 Jun 2023 07:32:45 UTC
StartedMon, 12 Jun 2023 12:22:21 UTC
CompletedMon, 12 Jun 2023 12:36:35 UTC
Total time 5:03:49
Task time 0:14:14
Owner davidlt
Channel default
Host unmatchedbuild06.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f38-build-721960-98681
Parent build (f38, /rpms/gappalib-coq.git:65c56357eae2a5786e8603989cf270c236dfb20c)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/3723/1443723/gappalib-coq-1.5.3-1.fc38.src.rpm
logs = tasks/3723/1443723/hw_info.log, tasks/3723/1443723/state.log, tasks/3723/1443723/build.log, tasks/3723/1443723/root.log
brootid = 721960
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#65c56357eae2a5786e8603989cf270c236dfb20c, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#65c56357eae2a5786e8603989cf270c2 ...
srpm = tasks/3723/1443723/gappalib-coq-1.5.3-1.fc38.src.rpm
logs = tasks/3723/1443723/hw_info.log, tasks/3723/1443723/state.log, tasks/3723/1443723/build.log, tasks/3723/1443723/root.log
brootid = 721960
source = url=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#65c56357eae2a5786e8603989cf270c236dfb20c, source=git+https://src.fedoraproject.org/rpms/gappalib-coq.git#65c56357eae2a5786e8603989cf270c236dfb20c
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
gappalib-coq-1.5.3-1.fc38.src.rpm