Tue, 17 Dec 2024 08:37:22 UTC | login

Information for task tagBuild (noarch)

ID1666488
MethodtagBuild
Parameters Build: why3-1.7.1-2.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedTue, 26 Mar 2024 19:09:23 UTC
StartedTue, 26 Mar 2024 19:09:38 UTC
CompletedTue, 26 Mar 2024 19:09:39 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/why3.git:84cb61b8ea83632f544fbefc84545ec0c79557d1)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output