Tue, 02 Jul 2024 04:22:10 UTC | login

Information for task tagBuild (noarch)

ID1702925
MethodtagBuild
Parameters Build: coq-8.18.0-5.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedTue, 04 Jun 2024 15:48:30 UTC
StartedTue, 04 Jun 2024 15:48:46 UTC
CompletedTue, 04 Jun 2024 15:48:46 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 (f41, /rpms/coq.git:61f2b04a6512841f273b1a7d479329b2b6a63806)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output