Thu, 12 Dec 2024 11:39:19 UTC | login

Information for task tagBuild (noarch)

ID1727262
MethodtagBuild
Parameters Build: z3-4.13.0-6.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedWed, 24 Jul 2024 15:08:14 UTC
StartedWed, 24 Jul 2024 15:08:29 UTC
CompletedWed, 24 Jul 2024 15:08:29 UTC
Total time 0:00:15
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f41, /rpms/z3.git:38a5e05a253bfb0f0cb637f9015387c6ef51a805)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output