Tue, 03 Dec 2024 20:32:02 UTC | login

Information for task build (f33, /rpms/cbmc.git:35303790e689094ea6a4d4d8e19c66409877f27e)

ID1131900
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/cbmc.git#35303790e689094ea6a4d4d8e19c66409877f27e
Options:
  wait_builds = 
State closed
Buildcbmc-5.25.0-1.fc33
CreatedSat, 24 Apr 2021 05:31:56 UTC
StartedSat, 24 Apr 2021 06:46:23 UTC
CompletedSat, 24 Apr 2021 20:11:27 UTC
Total time 14:39:31
Task time 13:25:04
Owner davidlt
Channel default
Host fedora-riscv-11.gcc141.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output