Thu, 05 Dec 2024 10:07:27 UTC | login

Information for task build (f33, /rpms/cadical.git:7f3234c19822c28bdaf28893c068364390bd03e6)

ID345778
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/cadical.git#7f3234c19822c28bdaf28893c068364390bd03e6
Options:
  wait_builds = 
State closed
Buildcadical-1.2.1-2.fc33
CreatedFri, 27 Mar 2020 12:35:21 UTC
StartedSat, 28 Mar 2020 14:36:34 UTC
CompletedSat, 28 Mar 2020 15:25:58 UTC
Total time 26:50:37
Task time 0:49:24
Owner davidlt
Channel default
Host fedora-riscv-1.gcc165.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output