Tue, 03 Dec 2024 01:07:46 UTC | login

Information for task build (f40, /rpms/cbmc.git:e8d2d4b7cf2d5980fb82385e2311185f20de1d3e)

ID1531570
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/cbmc.git#e8d2d4b7cf2d5980fb82385e2311185f20de1d3e
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildcbmc-5.50.0-6.fc40
CreatedWed, 29 Nov 2023 19:32:51 UTC
StartedWed, 29 Nov 2023 19:32:53 UTC
CompletedThu, 30 Nov 2023 20:06:08 UTC
Total time 24:33:17
Task time 24:33:15
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output