Wed, 21 Oct 2026 15:52:30 UTC | login

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

ID16723
MethodbuildSRPMFromSCM
Parameters Build tag: f45-build
Url: git+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5
Options:
  repo_id = 350
  scratch = None
State closed
CreatedTue, 13 Oct 2026 05:02:27 UTC
StartedTue, 13 Oct 2026 05:03:26 UTC
CompletedTue, 13 Oct 2026 05:05:41 UTC
Total time 0:03:13
Task time 0:02:15
Owner guoguo
Channel default
Host buildvm_riscv64_09.koji.hox.org.cn
Archnoarch
Buildroot /var/lib/mock/f45-build-6665-350
Parent build (f45, /rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/6723/16723/cbmc-6.10.0-1.fc45.src.rpm
logs = tasks/6723/16723/hw_info.log, tasks/6723/16723/mock_output.log, tasks/6723/16723/mock_config.log, tasks/6723/16723/root.log, tasks/6723/16723/state.log, tasks/6723/16723/build.log, tasks/6723/16723/dnf5.log
brootid = 6665
source = url=git+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5, source=git+https://src.fedo ...
srpm = tasks/6723/16723/cbmc-6.10.0-1.fc45.src.rpm
logs = tasks/6723/16723/hw_info.log, tasks/6723/16723/mock_output.log, tasks/6723/16723/mock_config.log, tasks/6723/16723/root.log, tasks/6723/16723/state.log, tasks/6723/16723/build.log, tasks/6723/16723/dnf5.log
brootid = 6665
source = url=git+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5, source=git+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5
Output build.log (tail)
checkout.log (tail)
dnf5.log (tail)
hw_info.log (tail)
mock_config.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
cbmc-6.10.0-1.fc45.src.rpm