Wed, 13 Nov 2024 01:36:16 UTC | login

Information for task tagBuild (noarch)

ID1806448
MethodtagBuild
Parameters Build: why3-1.7.2-8.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedThu, 19 Sep 2024 16:19:19 UTC
StartedThu, 19 Sep 2024 16:24:08 UTC
CompletedThu, 19 Sep 2024 16:24:08 UTC
Total time 0:04:49
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f41, /rpms/why3.git:acda593bf2d76e32878cd05b0c91c7b15d265de9)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output