Information for buildroot f33-build-170958-43940
Host | fedora-riscv-4.gcc129.osuosl.org |
---|---|
Arch | riscv64 |
ID | 170958 |
Task | buildSRPMFromSCM (/rpms/cvc4.git:4ec4a2980ac5aa0149e63b9d20832f1a80b4ad81) |
State | |
Created | Wed, 08 Apr 2020 11:16:30 UTC |
Retired | Wed, 08 Apr 2020 11:27:16 UTC |
Repo ID | 43940 |
Repo Tag | f33-build |
Repo State | |
Repo Created | Wed, 08 Apr 2020 11:09:48 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |