Click here to visit the old openkoji buildsystem (Archived)

Information for task build (f40, /rpms/cryptominisat.git:488bbd2921c1d72a9604ff67e8d474b5638f4134)

ID139286
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/cryptominisat.git#488bbd2921c1d72a9604ff67e8d474b5638f4134
State closed
Buildcryptominisat-5.11.21-1.fc40
CreatedFri, 03 May 2024 00:49:11 CST
StartedFri, 03 May 2024 00:49:48 CST
CompletedFri, 03 May 2024 01:25:10 CST
Total time 0:35:58
Task time 0:35:22
Owner kojiadmin
Channel default
Host buildvm_riscv64_203.openkoji.iscas.ac.cn
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output