Mon, 02 Dec 2024 02:43:52 UTC | login

Information for task tagBuild (noarch)

ID1730851
MethodtagBuild
Parameters Build: gappalib-coq-1.5.5-5.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedThu, 25 Jul 2024 13:27:38 UTC
StartedThu, 25 Jul 2024 13:27:38 UTC
CompletedThu, 25 Jul 2024 13:27:38 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 (f41, /rpms/gappalib-coq.git:84c7903bb335d9a826816ffff5d0599751b418db)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output