Thu, 12 Dec 2024 13:52:07 UTC | login

Information for task tagBuild (noarch)

ID1569281
MethodtagBuild
Parameters Build: z3-4.12.4-2.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedMon, 18 Dec 2023 18:08:25 UTC
StartedMon, 18 Dec 2023 18:09:50 UTC
CompletedMon, 18 Dec 2023 18:09:51 UTC
Total time 0:01:26
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f40, /rpms/z3.git:28838627dec7f97a0f2027d7129dd3aa02527f8b)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output