Fri, 24 May 2024 15:10:20 UTC | login

Information for task tagBuild (noarch)

ID1497735
MethodtagBuild
Parameters Build: gappalib-coq-1.5.3-6.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedMon, 13 Nov 2023 14:53:09 UTC
StartedMon, 13 Nov 2023 14:53:24 UTC
CompletedMon, 13 Nov 2023 14:53:25 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/gappalib-coq.git:d5072176a5e6408e12667f9b32993ef0d68f8cc7)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output