fedora

Information for task buildSRPMFromSCM (/rpms/z3.git:23bd2e8fcae087be3f3ec49ae15d5b2263a438e7)

ID1039
MethodbuildSRPMFromSCM
Parameters Build tag: f42-build
Url: git+https://src.fedoraproject.org/rpms/z3.git#23bd2e8fcae087be3f3ec49ae15d5b2263a438e7
Options:
  repo_id = 66
  scratch = None
State closed
CreatedThu, 17 Jul 2025 09:48:04 UTC
StartedThu, 17 Jul 2025 09:56:26 UTC
CompletedThu, 17 Jul 2025 10:00:12 UTC
Total time 0:12:08
Task time 0:03:45
Owner davidlt
Channel default
Host buildhw-riscv-22.fedoraproject.org
Archnoarch
Buildroot /var/lib/mock/f42-build-398-66
Parent build (f42, /rpms/z3.git:23bd2e8fcae087be3f3ec49ae15d5b2263a438e7)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
srpm = tasks/1039/1039/z3-4.15.2-1.fc42.src.rpm
logs = tasks/1039/1039/mock_output.log, tasks/1039/1039/root.log, tasks/1039/1039/dnf5.log, tasks/1039/1039/hw_info.log, tasks/1039/1039/mock_config.log, tasks/1039/1039/state.log, tasks/1039/1039/build.log
brootid = 398
source = url=git+https://src.fedoraproject.org/rpms/z3.git#23bd2e8fcae087be3f3ec49ae15d5b2263a438e7, source=git+https://src.fedoraproject.org ...
srpm = tasks/1039/1039/z3-4.15.2-1.fc42.src.rpm
logs = tasks/1039/1039/mock_output.log, tasks/1039/1039/root.log, tasks/1039/1039/dnf5.log, tasks/1039/1039/hw_info.log, tasks/1039/1039/mock_config.log, tasks/1039/1039/state.log, tasks/1039/1039/build.log
brootid = 398
source = url=git+https://src.fedoraproject.org/rpms/z3.git#23bd2e8fcae087be3f3ec49ae15d5b2263a438e7, source=git+https://src.fedoraproject.org/rpms/z3.git#23bd2e8fcae087be3f3ec49ae15d5b2263a438e7
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-4.15.2-1.fc42.src.rpm