Tue, 02 Jul 2024 15:13:03 UTC | login

Information for buildroot f38-build-727098-100517

Hostunmatchedbuild01.davidlt.org
Archriscv64
ID727098
TaskbuildArch (Agda-2.6.2.2-38.rvre0.fc38.src.rpm, riscv64)
Stateexpired
CreatedMon, 26 Jun 2023 12:09:43 UTC
RetiredMon, 26 Jun 2023 15:27:35 UTC
Repo ID100517
Repo Tagf38-build
Repo Statedeleted
Repo CreatedMon, 26 Jun 2023 10:51:29 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives