Fri, 08 Nov 2024 21:37:48 UTC | login

Information for task tagBuild (noarch)

ID1708913
MethodtagBuild
Parameters Build: cvc5-1.1.2-3.fc41
Destination tag: f41
Force: False
Ignore success: True
State closed
CreatedThu, 11 Jul 2024 20:10:48 UTC
StartedThu, 11 Jul 2024 20:34:52 UTC
CompletedThu, 11 Jul 2024 20:34:52 UTC
Total time 0:24:04
Task time 0:00:00
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent build (f41, /rpms/cvc5.git:6ec1ba602cc529ce4e7a4fad6b5d5d7ef6511573)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.00
Result
Output