Fri, 13 Dec 2024 02:10:51 UTC | login

Information for task tagBuild (noarch)

ID1437194
MethodtagBuild
Parameters Build: z3-4.12.2-1.fc38
Destination tag: f38
Force: False
Ignore success: True
State closed
CreatedWed, 07 Jun 2023 05:28:55 UTC
StartedWed, 07 Jun 2023 05:29:09 UTC
CompletedWed, 07 Jun 2023 05:29:09 UTC
Total time 0:00:14
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f38, /rpms/z3.git:ee66c97a959698e817bac965fe3b1f009f2ac0f8)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output