Mon, 13 Jan 2025 20:20:31 UTC | login

Information for task tagBuild (noarch)

ID1852525
MethodtagBuild
Parameters Build: gappalib-coq-1.5.5-6.fc42
Destination tag: f42
Force: False
Ignore success: True
State closed
CreatedSun, 12 Jan 2025 21:06:01 UTC
StartedSun, 12 Jan 2025 21:06:16 UTC
CompletedSun, 12 Jan 2025 21:06:16 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 (f42, /rpms/gappalib-coq.git:646a7628e0d28f245bd5b89c753f778c817a80b2)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output