Mon, 10 Jun 2024 15:51:31 UTC | login

Information for task tagBuild (noarch)

ID1680397
MethodtagBuild
Parameters Build: gappalib-coq-1.5.4-3.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedThu, 11 Apr 2024 08:29:05 UTC
StartedThu, 11 Apr 2024 08:29:43 UTC
CompletedThu, 11 Apr 2024 08:29:43 UTC
Total time 0:00:38
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f40, /rpms/gappalib-coq.git:ef6fd01e9d9fda9da9808e4c2cfda7a91c18ff1f)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output