Tue, 03 Dec 2024 00:26:06 UTC | login

Information for task build (f40, /rpms/z3.git:6e97219e4f68420b197ae8ea54a8ecdcf15470dc)

ID1485651
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/z3.git#6e97219e4f68420b197ae8ea54a8ecdcf15470dc
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.12.2-7.fc40
CreatedTue, 07 Nov 2023 12:25:26 UTC
StartedTue, 07 Nov 2023 12:25:36 UTC
CompletedTue, 07 Nov 2023 17:06:10 UTC
Total time 4:40:43
Task time 4:40:33
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