Tue, 18 Feb 2025 14:03:07 UTC | login

Information for task buildSRPMFromSCM (/rpms/cbmc.git:d42d84f7b17a14f1fb0536a478a38268d8672b1c)

ID198106
MethodbuildSRPMFromSCM
Parameters Build tag: f31-build
Url: git+https://src.fedoraproject.org/rpms/cbmc.git#d42d84f7b17a14f1fb0536a478a38268d8672b1c
Options:
  scratch = None
  repo_id = 28239
State closed
CreatedSat, 27 Jul 2019 06:58:53 UTC
StartedSat, 27 Jul 2019 06:58:59 UTC
CompletedSat, 27 Jul 2019 07:33:25 UTC
Total time 0:34:32
Task time 0:34:25
Owner davidlt
Channel default
Host fedora-riscv-2.gcc164.osuosl.org
Archnoarch
Buildroot /var/lib/mock/f31-build-56658-28239
Parent build (f31-candidate, /rpms/cbmc.git:d42d84f7b17a14f1fb0536a478a38268d8672b1c)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
brootid = 56658
source = url=git+https://src.fedoraproject.org/rpms/cbmc.git#d42d84f7b17a14f1fb0536a478a38268d8672b1c, source=git+https://src.fedoraproject.org/rpms/cbmc.git#d42d84f7b17a14f1fb0536a478a38268d8672b1c
srpm = tasks/8106/198106/cbmc-5.11-2.fc31.src.rpm
logs = tasks/8106/198106/hw_info.log, tasks/8106/198106/root.log, tasks/8106/198106/state.log, tasks/8106/198106/build.log
Output build.log (tail)
checkout.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
cbmc-5.11-2.fc31.src.rpm