Thu, 23 May 2024 04:08:47 UTC | login

Information for task tagBuild (noarch)

ID1575481
MethodtagBuild
Parameters Build: gappalib-coq-1.5.3-8.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedWed, 27 Dec 2023 08:29:19 UTC
StartedWed, 27 Dec 2023 08:29:21 UTC
CompletedWed, 27 Dec 2023 08:29:21 UTC
Total time 0:00:01
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:0f88cba80ba66aa0837f873f74176931c29f47cd)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output