Fri, 22 Nov 2024 16:34:58 UTC | login

Information for task build (f40, /rpms/z3.git:69a9e69b2450ba2c4e3eedb4b80c47a24bbc7197)

ID1554990
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/z3.git#69a9e69b2450ba2c4e3eedb4b80c47a24bbc7197
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.12.4-1.fc40
CreatedMon, 11 Dec 2023 12:43:28 UTC
StartedMon, 11 Dec 2023 12:47:01 UTC
CompletedMon, 11 Dec 2023 19:50:05 UTC
Total time 7:06:36
Task time 7:03:03
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