Information for buildroot f41-build-822777-153282
Host | milkvpioneer01.davidlt.org |
---|---|
Arch | riscv64 |
ID | 822777 |
Task | buildSRPMFromSCM (/rpms/cvc5.git:f98c399447dcf64c9c4cfe807a2a15ecfa63d80a) |
State | ![]() |
Created | Fri, 26 Jul 2024 16:19:22 UTC |
Retired | Fri, 26 Jul 2024 16:26:58 UTC |
Repo ID | 153282 |
Repo Tag | f41-build |
Repo State | ![]() |
Repo Created | Fri, 26 Jul 2024 16:16:04 UTC |
Component RPMs | |
Built RPMs | |
Component Archives | |
Built Archives |