Mon, 25 Nov 2024 23:55:24 UTC | login

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

ID1711610
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/z3.git#bed9a8e94c432e749debbbccdad20c94a1349dd5
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.13.0-4.fc41
CreatedSat, 13 Jul 2024 17:49:19 UTC
StartedSat, 13 Jul 2024 17:49:20 UTC
CompletedSat, 13 Jul 2024 18:50:17 UTC
Total time 1:00:57
Task time 1:00:57
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority5
Weight0.20
Result
Output