Information for buildroot f41-build-875386-16281

Hostbuildvm_riscv64_801.openkoji.iscas.ac.cn
Archriscv64
ID875386
TaskbuildArch (cvc5-1.1.2-3.fc41.src.rpm, riscv64)
Stateexpired
CreatedMon, 10 Jun 2024 21:23:58 CST
RetiredTue, 11 Jun 2024 01:21:06 CST
Repo ID16281
Repo Tagf41-build
Repo Statedeleted
Repo CreatedMon, 10 Jun 2024 21:10:50 CST
Component RPMs
Built RPMs
Component Archives
Built Archives