Tue, 20 Oct 2026 23:22:34 UTC | login

Information for task buildSRPMFromSCM (/rpms/z3.git:664822593fee70a5566b0cf4b202ca2841c31918)

ID92623
MethodbuildSRPMFromSCM
Parameters Build tag: f45-build
Url: git+https://src.fedoraproject.org/rpms/z3.git#664822593fee70a5566b0cf4b202ca2841c31918
Options:
  repo_id = 733
  scratch = None
State closed
CreatedSun, 18 Oct 2026 07:46:41 UTC
StartedSun, 18 Oct 2026 07:48:04 UTC
CompletedSun, 18 Oct 2026 07:51:35 UTC
Total time 0:04:53
Task time 0:03:31
Owner guoguo
Channel srpm
Host build_riscv64_00srpm.koji.hox.org.cn
Archnoarch
Buildroot /var/lib/mock/f45-build-39283-733
Parent build (f45, /rpms/z3.git:664822593fee70a5566b0cf4b202ca2841c31918)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/2623/92623/z3-5.1.0-2.fc45.src.rpm
logs = tasks/2623/92623/state.log, tasks/2623/92623/root.log, tasks/2623/92623/build.log, tasks/2623/92623/hw_info.log, tasks/2623/92623/dnf5.log, tasks/2623/92623/mock_output.log, tasks/2623/92623/mock_config.log
brootid = 39283
source = url=git+https://src.fedoraproject.org/rpms/z3.git#664822593fee70a5566b0cf4b202ca2841c31918, source=git+https://src.fedorapr ...
srpm = tasks/2623/92623/z3-5.1.0-2.fc45.src.rpm
logs = tasks/2623/92623/state.log, tasks/2623/92623/root.log, tasks/2623/92623/build.log, tasks/2623/92623/hw_info.log, tasks/2623/92623/dnf5.log, tasks/2623/92623/mock_output.log, tasks/2623/92623/mock_config.log
brootid = 39283
source = url=git+https://src.fedoraproject.org/rpms/z3.git#664822593fee70a5566b0cf4b202ca2841c31918, source=git+https://src.fedoraproject.org/rpms/z3.git#664822593fee70a5566b0cf4b202ca2841c31918
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)
z3-5.1.0-2.fc45.src.rpm