Wed, 04 Dec 2024 16:40:34 UTC | login

Information for task build (f40, /rpms/z3.git:042e9c8a1d374a8e13059575d4c4e31202c992e2)

ID1582800
Methodbuild
Parameters Build target: f40
Src: git+http://fedora.riscv.rocks:3000/rpms/z3.git#042e9c8a1d374a8e13059575d4c4e31202c992e2
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.12.4-4.rvre0.fc40
CreatedSun, 31 Dec 2023 15:00:12 UTC
StartedSun, 31 Dec 2023 15:00:19 UTC
CompletedSun, 31 Dec 2023 18:51:30 UTC
Total time 3:51:18
Task time 3:51:11
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority13
Weight0.20
Result
Output