Tue, 26 Nov 2024 02:13:45 UTC | login

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

ID1701102
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/z3.git#f6c7a66d3df7970db8a8bd069fc9fa1bfbd76d80
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.13.0-2.fc41
CreatedMon, 03 Jun 2024 15:22:05 UTC
StartedMon, 03 Jun 2024 15:22:16 UTC
CompletedMon, 03 Jun 2024 22:55:21 UTC
Total time 7:33:15
Task time 7:33:05
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