Wed, 11 Dec 2024 21:37:20 UTC | login

Information for task tagBuild (noarch)

ID1269382
MethodtagBuild
Parameters Build: z3-4.11.2-1.fc37
Destination tag: f37
Force: False
Ignore success: True
State closed
CreatedWed, 26 Oct 2022 17:51:50 UTC
StartedWed, 26 Oct 2022 17:52:05 UTC
CompletedWed, 26 Oct 2022 17:52:05 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 (f37, /rpms/z3.git:6bc865dcfc1d0b137862b9f8d8443d640800de38)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output