Fri, 22 Nov 2024 21:42:50 UTC | login

Information for task tagBuild (noarch)

ID1497803
MethodtagBuild
Parameters Build: z3-4.12.2-7.rvre0.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedMon, 13 Nov 2023 15:36:27 UTC
StartedMon, 13 Nov 2023 15:36:42 UTC
CompletedMon, 13 Nov 2023 15:36:42 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 (f40, /rpms/z3.git:3ea0fe040cb8032bacaca74638e890b08adaa01d)
Descendants
Waiting?no
Awaited?no
Priority12
Weight1.00
Result
Output