Thu, 20 Jun 2024 03:58:22 UTC | login

Information for task build (f31-candidate, /rpms/minisat2.git:a6c113a514b70e91493752eff094af464552e9d2)

ID298707
Methodbuild
Parameters Build target: f31-candidate
Src: git+https://src.fedoraproject.org/rpms/minisat2.git#a6c113a514b70e91493752eff094af464552e9d2
State closed
Buildminisat2-2.2.1-8.fc31
CreatedFri, 20 Sep 2019 12:58:49 UTC
StartedFri, 20 Sep 2019 22:14:54 UTC
CompletedFri, 20 Sep 2019 23:34:46 UTC
Total time 10:35:57
Task time 1:19:52
Owner davidlt
Channel default
Host fedora-riscv-1.gcc144.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output