Thu, 12 Dec 2024 15:00:20 UTC | login

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

ID638002
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/cadical.git#d01b921b6811cfc15be518318174825a288a427f
Options:
  wait_builds = 
State closed
Buildcadical-1.3.0-1.fc33
CreatedThu, 13 Aug 2020 14:28:29 UTC
StartedSat, 15 Aug 2020 12:39:31 UTC
CompletedSat, 15 Aug 2020 13:12:20 UTC
Total time 46:43:50
Task time 0:32:48
Owner davidlt
Channel default
Host fedora-riscv-4.gcc130.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output