Sat, 14 Dec 2024 01:07:46 UTC | login

Information for task tagBuild (noarch)

ID1729363
MethodtagBuild
Parameters Build: coq-8.18.0-10.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedThu, 25 Jul 2024 10:06:25 UTC
StartedThu, 25 Jul 2024 10:06:25 UTC
CompletedThu, 25 Jul 2024 10:06:25 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/coq.git:bc6ccecad52ccbfbca2b5e77cd85db05c992e7c2)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output