Sun, 16 Jun 2024 00:49:24 UTC | login

Information for task tagBuild (noarch)

ID1436131
MethodtagBuild
Parameters Build: idris-1.3.4-6.fc38
Destination tag: f38
Force: False
Ignore success: True
State closed
CreatedSun, 04 Jun 2023 17:40:18 UTC
StartedSun, 04 Jun 2023 17:40:21 UTC
CompletedSun, 04 Jun 2023 17:40:21 UTC
Total time 0:00:03
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f38, /rpms/idris.git:e69608af843dd117f21e7ba6ced2e5a2b5a70102)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output