Fri, 22 Nov 2024 16:39:57 UTC | login

Information for task build (f40, /rpms/z3.git:3ea0fe040cb8032bacaca74638e890b08adaa01d)

ID1497399
Methodbuild
Parameters Build target: f40
Src: git+http://fedora.riscv.rocks:3000/rpms/z3.git#3ea0fe040cb8032bacaca74638e890b08adaa01d
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildz3-4.12.2-7.rvre0.fc40
CreatedMon, 13 Nov 2023 10:56:37 UTC
StartedMon, 13 Nov 2023 10:56:40 UTC
CompletedMon, 13 Nov 2023 15:36:57 UTC
Total time 4:40:20
Task time 4:40:17
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