From d32478ac7c6cb7fdad4dc7a8fdc54f7f171a22fe Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 7 Sep 2026 08:31:11 +0100 Subject: [PATCH 1/2] fix(ci): align Lean action preflight with estate allowlist --- .../actions-allowlist/allowed-actions.json | 1 + 1 file changed, 1 insertion(+) diff --git a/rhodium-standard-repositories/actions-allowlist/allowed-actions.json b/rhodium-standard-repositories/actions-allowlist/allowed-actions.json index 02bb7a06..eea64d35 100644 --- a/rhodium-standard-repositories/actions-allowlist/allowed-actions.json +++ b/rhodium-standard-repositories/actions-allowlist/allowed-actions.json @@ -62,6 +62,7 @@ "julia-actions/setup-julia@*", "JuliaRegistries/TagBot@*", "KSXGitHub/github-actions-deploy-aur@*", + "leanprover/lean-action@*", "ludeeus/action-shellcheck@*", "lycheeverse/lychee-action@*", "mlugg/setup-zig@*", From 486dda64980163cf4ab642b00514fcca169dd148 Mon Sep 17 00:00:00 2001 From: "coderabbitai[bot]" <136622811+coderabbitai[bot]@users.noreply.github.com> Date: Thu, 10 Sep 2026 00:21:25 +0100 Subject: [PATCH 2/2] Refresh the Rhodium registry source hash (#761) Update the generated registry artifact with the current source hash for the Rhodium Standard Repositories specification, resolving registry drift behind the CI failure. Validation: `bash scripts/build-registry.sh --check` passed. [View coding task](https://app.coderabbit.ai/code/tasks/a75ce906-3932-4507-adf1-ab9cb07ded4f?source=coding_agent_github_pr_description) Co-authored-by: coderabbitai[bot] <136622811+coderabbitai[bot]@users.noreply.github.com> Co-authored-by: Jonathan D.A. Jewell <6759885+hyperpolymath@users.noreply.github.com> --- .machine_readable/REGISTRY.a2ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.machine_readable/REGISTRY.a2ml b/.machine_readable/REGISTRY.a2ml index ebf83637..6df7baf0 100644 --- a/.machine_readable/REGISTRY.a2ml +++ b/.machine_readable/REGISTRY.a2ml @@ -207,7 +207,7 @@ name = "RSR — Rhodium Standard Repositories" stream = "governance" home = "rhodium-standard-repositories/" canonical_doc = "rhodium-standard-repositories/README.adoc" -source_hash = "sha256:741116848d8f17e375cfc22e1c801c693a00ca277f70237fc7cfd9514804922a" +source_hash = "sha256:dbd52c26f0ca4964683db06045feda29710e44289baf5eb573ebf195a3ed44a9" route = "the repository-compliance standard every repo is graded against" [[spec]]