Tue, 26 Nov 2024 01:13:34 UTC | login

Information for task build (f40, /rpms/z3.git:7e13c112079c11617e21642f3925b25a61ce62bf)

ID1575140
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/z3.git#7e13c112079c11617e21642f3925b25a61ce62bf
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.12.4-4.fc40
CreatedFri, 22 Dec 2023 13:27:38 UTC
StartedWed, 27 Dec 2023 07:55:10 UTC
CompletedWed, 27 Dec 2023 17:30:39 UTC
Total time 124:03:01
Task time 9:35:28
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