Tue, 03 Dec 2024 20:59:48 UTC | login

Information for task tagBuild (noarch)

ID1532703
MethodtagBuild
Parameters Build: cbmc-5.50.0-6.fc40
Destination tag: f40
Force: False
Ignore success: True
State closed
CreatedThu, 30 Nov 2023 20:05:37 UTC
StartedThu, 30 Nov 2023 20:05:53 UTC
CompletedThu, 30 Nov 2023 20:05:53 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 (f40, /rpms/cbmc.git:e8d2d4b7cf2d5980fb82385e2311185f20de1d3e)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output