Host | buildvm_riscv64_601.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 2929854 |
Task | buildSRPMFromSCM (/rpms/cvc5.git:44121ae8e3080bd6b63070658a2d31e322bb6a6d) |
State | |
Created | Fri, 11 Oct 2024 19:21:41 CST |
Retired | Fri, 11 Oct 2024 19:27:25 CST |
Repo ID | 35114 |
Repo Tag | f41-build-side-1 |
Repo State | |
Repo Created | Fri, 11 Oct 2024 19:09:28 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |