Host | buildvm_riscv64_701.openkoji.iscas.ac.cn |
---|---|
Arch | riscv64 |
ID | 138806 |
Task | buildSRPMFromSCM (/rpms/cbmc.git:54983a8e24f9ff20ea7a6a2022c6154b431228ae) |
State | ![]() |
Created | Sun, 05 May 2024 01:53:10 CST |
Retired | Sun, 05 May 2024 02:01:41 CST |
Repo ID | 7360 |
Repo Tag | f40-build |
Repo State | ![]() |
Repo Created | Sun, 05 May 2024 01:47:05 CST |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |