Sun, 01 Dec 2024 02:29:36 UTC | login

Information for task buildSRPMFromSCM (/rpms/yices.git:a4fab3edb052ee2145eb93dcd75ffc2760c08107)

ID1385426
MethodbuildSRPMFromSCM
Parameters Build tag: f38-build
Url: git+https://src.fedoraproject.org/rpms/yices.git#a4fab3edb052ee2145eb93dcd75ffc2760c08107
Options:
  repo_id = 89352
  scratch = None
State closed
CreatedThu, 30 Mar 2023 13:28:07 UTC
StartedThu, 30 Mar 2023 17:52:24 UTC
CompletedThu, 30 Mar 2023 18:05:43 UTC
Total time 4:37:36
Task time 0:13:19
Owner davidlt
Channel default
Host unmatchedbuild07.davidlt.org
Archnoarch
Buildroot /var/lib/mock/f38-build-702681-89352
Parent build (f38, /rpms/yices.git:a4fab3edb052ee2145eb93dcd75ffc2760c08107)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/5426/1385426/yices-2.6.4-6.fc38.src.rpm
logs = tasks/5426/1385426/hw_info.log, tasks/5426/1385426/state.log, tasks/5426/1385426/build.log, tasks/5426/1385426/root.log
brootid = 702681
source = url=git+https://src.fedoraproject.org/rpms/yices.git#a4fab3edb052ee2145eb93dcd75ffc2760c08107, source=git+https://src.fedoraproject.org/rpms/yices.git#a4fab3edb052ee2145eb93dcd75ffc2760c08107
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
yices-2.6.4-6.fc38.src.rpm