Wed, 11 Dec 2024 07:37:40 UTC | login

Information for task tagBuild (noarch)

ID1486714
MethodtagBuild
Parameters Build: z3-4.12.2-7.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedTue, 07 Nov 2023 17:03:50 UTC
StartedTue, 07 Nov 2023 17:06:08 UTC
CompletedTue, 07 Nov 2023 17:06:08 UTC
Total time 0:02:17
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f40, /rpms/z3.git:6e97219e4f68420b197ae8ea54a8ecdcf15470dc)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output