Information for buildroot f42-build-3489884-45848
| Host | buildvm_riscv64_900.openkoji.iscas.ac.cn |
|---|---|
| Arch | riscv64 |
| ID | 3489884 |
| Task | buildSRPMFromSCM (/rpms/cvc5.git:cf8bb8f940f47b31e08b4447d8216eaf004b4acf) |
| State |  |
| Created | Tue, 15 Apr 2025 05:42:37 CST |
| Retired | Tue, 15 Apr 2025 05:55:07 CST |
| Repo ID | 45848 |
| Repo Tag | f42-build |
| Repo State |  |
| Repo Created | Tue, 15 Apr 2025 04:31:00 CST |
| Component RPMs | |
| Built RPMs | |
| Component Archives | |
| Built Archives | |