Thu, 13 Jun 2024 10:34:40 UTC | login

Information for task tagBuild (noarch)

ID1651738
MethodtagBuild
Parameters Build: coq-8.18.0-4.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedWed, 20 Mar 2024 06:57:31 UTC
StartedWed, 20 Mar 2024 06:57:47 UTC
CompletedWed, 20 Mar 2024 06:57:47 UTC
Total time 0:00:16
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f40, /rpms/coq.git:ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output