Wed, 04 Dec 2024 20:41:56 UTC | login

Information for task tagBuild (noarch)

ID1782463
MethodtagBuild
Parameters Build: idris-1.3.4-17.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedTue, 13 Aug 2024 21:03:21 UTC
StartedTue, 13 Aug 2024 21:03:36 UTC
CompletedTue, 13 Aug 2024 21:03:36 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/idris.git:1228a2e021813c151b0a3d423e2075bf56f8c5ed)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output