Thu, 12 Dec 2024 09:22:10 UTC | login

Information for task build (f41, /rpms/z3.git:38a5e05a253bfb0f0cb637f9015387c6ef51a805)

ID1726222
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/z3.git#38a5e05a253bfb0f0cb637f9015387c6ef51a805
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.13.0-6.fc41
CreatedWed, 24 Jul 2024 11:10:22 UTC
StartedWed, 24 Jul 2024 11:10:35 UTC
CompletedWed, 24 Jul 2024 15:08:44 UTC
Total time 3:58:22
Task time 3:58:09
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output