Wed, 11 Dec 2024 07:31:24 UTC | login

Information for task build (f37, /rpms/cbmc.git:fd438f44f4ab880ed9eae049029b00eac66818ab)

ID1253144
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/cbmc.git#fd438f44f4ab880ed9eae049029b00eac66818ab
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildcbmc-5.50.0-2.fc37
CreatedSat, 15 Oct 2022 11:47:49 UTC
StartedSat, 15 Oct 2022 11:48:03 UTC
CompletedMon, 17 Oct 2022 02:16:08 UTC
Total time 38:28:18
Task time 38:28:05
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