Wed, 11 Dec 2024 19:40:06 UTC | login

Information for task build (f37, /rpms/z3.git:6bc865dcfc1d0b137862b9f8d8443d640800de38)

ID1268121
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/z3.git#6bc865dcfc1d0b137862b9f8d8443d640800de38
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.11.2-1.fc37
CreatedWed, 26 Oct 2022 10:54:16 UTC
StartedWed, 26 Oct 2022 10:58:35 UTC
CompletedWed, 26 Oct 2022 17:52:21 UTC
Total time 6:58:04
Task time 6:53:45
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