Fri, 13 Dec 2024 10:51:06 UTC | login

Information for buildroot f38-build-709385-92901

Hostunmatchedbuild04.davidlt.org
Archriscv64
ID709385
TaskbuildSRPMFromSCM (/rpms/cvc4.git:186b987498733b2110baacf32c19e2faaef9721e)
Stateexpired
CreatedFri, 05 May 2023 05:57:44 UTC
RetiredFri, 05 May 2023 06:11:33 UTC
Repo ID92901
Repo Tagf38-build
Repo Statedeleted
Repo CreatedFri, 05 May 2023 05:30:20 UTC
Component RPMs
Built RPMs
Component Archives
Built Archives