Sat, 25 May 2024 18:15:56 UTC | login

Information for task tagBuild (noarch)

ID1559932
MethodtagBuild
Parameters Build: gappalib-coq-1.5.3-7.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedWed, 13 Dec 2023 17:15:26 UTC
StartedWed, 13 Dec 2023 17:15:27 UTC
CompletedWed, 13 Dec 2023 17:15:27 UTC
Total time 0:00:00
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f40, /rpms/gappalib-coq.git:2e500d8b7cf164311008ab4f5df45afc74c42dcb)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output