Mon, 02 Dec 2024 10:54:35 UTC | login

Information for buildroot f40-build-806996-145155

Hostunmatchedbuild10.davidlt.org
Archriscv64
ID806996
TaskbuildArch (Agda-2.6.4.1-46.fc40.src.rpm, riscv64)
Stateexpired
CreatedTue, 16 Apr 2024 11:57:29 UTC
RetiredTue, 16 Apr 2024 12:31:19 UTC
Repo ID145155
Repo Tagf40-build
Repo Statedeleted
Repo CreatedTue, 16 Apr 2024 08:06:51 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives