Skip to content

fix(ci): pin third-party actions to full commit SHAs - #157

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/sha-pin-actions
Sep 20, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
fix/sha-pin-actions

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

fix(ci): pin third-party actions to full commit SHAs

The account's Actions policy requires a full-length SHA ref. A tag or branch ref is refused at
startup — startup_failure, no jobs, "this workflow graph cannot be shown" — so these workflows
could not run at all. This resolves each ref to the commit it currently points at and records the
ref in a trailing comment, e.g. actions/checkout@<sha> # v4.

dtolnay/rust-toolchain takes its toolchain from the ref itself, so those steps also gained an
explicit with: toolchain: input; without it, a SHA ref would silently lose the channel.

No behaviour is intended to change beyond the pins.

@coderabbitai

coderabbitai Bot commented Sep 19, 2026 •

Copy link
Copy Markdown
Contributor

Review Change StackReview Change Stack

Warning

Review limit reached

Next included review available in 39 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: ccaac1a2-d8d2-405b-bbdb-4612a607490b

📥 Commits

Reviewing files that changed from the base of the PR and between e109c1e and 46f322c.

⛔ Files ignored due to path filters (1)
  • .github/workflows/actions.lock is excluded by !**/*.lock
📒 Files selected for processing (17)
  • .github/workflows/cflite_batch.yml
  • .github/workflows/cflite_pr.yml
  • .github/workflows/codeql.yml
  • .github/workflows/deno-ci.yml
  • .github/workflows/governance.yml
  • .github/workflows/hypatia-scan.yml
  • .github/workflows/label-triage.yml
  • .github/workflows/labels.yml
  • .github/workflows/language-policy.yml
  • .github/workflows/mirror.yml
  • .github/workflows/pages.yml
  • .github/workflows/proofs.yml
  • .github/workflows/publish-container.yml
  • .github/workflows/push-email-notify.yml
  • .github/workflows/rust-ci.yml
  • .github/workflows/scorecard.yml
  • .github/workflows/secret-scanner.yml

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: a8266140-b8c6-4448-8e21-0feabe31b893

📥 Commits

Reviewing files that changed from the base of the PR and between 76308c9 and e109c1e.

📒 Files selected for processing (7)
  • .github/workflows/cflite_batch.yml
  • .github/workflows/cflite_pr.yml
  • .github/workflows/codeql.yml
  • .github/workflows/language-policy.yml
  • .github/workflows/pages.yml
  • .github/workflows/proofs.yml
  • .github/workflows/publish-container.yml

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details
⏰ Context from checks skipped due to timeout. (17)
  • GitHub Check: governance / Language / package anti-pattern policy
  • GitHub Check: governance / Security policy checks
  • GitHub Check: governance / Well-Known (RFC 9116 + RSR)
  • GitHub Check: governance / Code quality + docs
  • GitHub Check: governance / Allowlist Preflight
  • GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
  • GitHub Check: governance / Trusted-base reduction policy
  • GitHub Check: governance / Workflow security linter
  • GitHub Check: governance / Guix packaging policy (Nix retired)
  • GitHub Check: governance / Check Workflow Staleness
  • GitHub Check: scan / gitleaks
  • GitHub Check: governance / Licence consistency
  • GitHub Check: deno-ci / Deno CI
  • GitHub Check: scan / rust-secrets
  • GitHub Check: rust-ci / Detect Cargo.toml
  • GitHub Check: scan / shell-secrets
  • GitHub Check: GitGuardian Security Checks
🧰 Additional context used
🪛 zizmor (1.30.0)
.github/workflows/language-policy.yml

[warning] 23-23: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)

.github/workflows/codeql.yml

[warning] 41-42: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)

.github/workflows/cflite_pr.yml

[warning] 20-21: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)

.github/workflows/proofs.yml

[warning] 42-42: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)


[warning] 58-58: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)


[warning] 87-87: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)

.github/workflows/publish-container.yml

[warning] 25-25: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)

.github/workflows/pages.yml

[warning] 23-24: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)


[warning] 25-29: credential persistence through GitHub Actions artifacts (artipacked): does not set persist-credentials: false

(artipacked)

🔇 Additional comments (6)
.github/workflows/cflite_batch.yml (1)

23-23: LGTM!

Also applies to: 30-30

.github/workflows/cflite_pr.yml (1)

25-25: LGTM!

Also applies to: 32-32

.github/workflows/codeql.yml (1)

42-42: LGTM!

Also applies to: 45-45, 51-51

.github/workflows/language-policy.yml (1)

23-23: LGTM!

.github/workflows/pages.yml (1)

43-43: LGTM!

Also applies to: 56-56

.github/workflows/publish-container.yml (1)

28-28: LGTM!

Also applies to: 36-36, 47-47, 56-56


📝 Summary

Summary by CodeRabbit

  • Chores
    • Pinned GitHub Actions used by build, testing, security scanning, publishing, documentation, and proof-verification workflows to immutable commits.
    • Workflow behaviour, configuration, permissions, and supported checks remain unchanged.

Walkthrough

Seven GitHub Actions workflows now reference immutable commit SHAs instead of mutable version tags. Existing workflow logic, permissions, inputs, and version annotations remain unchanged.

Changes

Workflow action pinning

Layer / File(s) Summary
Pin workflow actions to commit SHAs
.github/workflows/cflite_*.yml, .github/workflows/codeql.yml, .github/workflows/language-policy.yml, .github/workflows/pages.yml, .github/workflows/proofs.yml, .github/workflows/publish-container.yml
ClusterFuzzLite, CodeQL, checkout, GitHub Pages, Docker, and provenance actions now use immutable commit SHAs. Trailing comments preserve the referenced action versions. Workflow behaviour and inputs are unchanged.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~5 minutes

Change: Bug fix

Merge Risk: ⚪ Minimal · up to e109c

The workflow pins preserve the existing action versions while meeting the immutable-reference requirement. No actionable risk introduced by this change remains.

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly and concisely describes the main change: pinning third-party CI actions to full commit SHAs.
Description check ✅ Passed The description explains the Actions policy requirement, the SHA pinning change, preserved version references, and the intended lack of behaviour changes. It is related to the changeset.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

A rabbit pins each action tight,
SHA by SHA, through day and night,
Version notes remain in view,
Workflow steps stay as they were,
Immutable commits guide the way.

Comment @coderabbitai help to get the list of available commands.

coderabbitai[bot]
coderabbitai Bot previously approved these changes Sep 19, 2026
…0.1.6)

`actions.lock` is authoritative: the workflows carry readable refs and the lock records the
commit each ref resolves to, which is what actually runs. Refs that stop matching the manifest
make the whole repository unstartable — `startup_failure`, "Invalid lockfile".

Regenerated with the official extension (`github/gh-actions-lock`). The hand-pinned SHA refs are
reverted to their readable form here precisely because the lockfile, not the workflow, is what
pins them.
@hyperpolymath
hyperpolymath merged commit 8239e52 into main Sep 20, 2026
28 of 32 checks passed
@hyperpolymath
hyperpolymath deleted the fix/sha-pin-actions branch September 20, 2026 00:47
hyperpolymath added a commit that referenced this pull request Sep 22, 2026
…nce to standards@fad242d3 (#163) (#164)

Cures the three reds that sit on every push to `main` and every PR, so
that a PR can be fully green again. Closes #160. Closes #163.

## What changes

| file | change | why |
|---|---|---|
| `.github/workflows/deno-ci.yml` | deleted | Deno is banned estate-wide
(bun is the runtime); the workflow ran on every PR and failed. #160 |
| `examples/web-project-deno.json` | deleted | the only Deno artefact;
nothing else references it. #160 |
| `.github/workflows/governance.yml` | pin `bd0df9ea` →
`fad242d35291de1898242d6737ba02b74a59a2f2` (standards main 2026-09-07,
post-#742) | the pin tropical-types and nextgen-typing are green on.
#163 |
| `.github/workflows/actions.lock` | drop the `deno-ci.yml: []` key |
the workflow no longer exists |

`.github/CONTRIBUTING.md` stays where it is: `check-docs-presence.sh` at
the new pin accepts that path and names it the canonical location, so no
move was needed.

## How each #163 red is cured (measured, not assumed)

- **Allowlist Preflight** — at `fad242d3` the live-policy probe is a
separate credentialed advisory job (`actions-policy-live`) that emits
`::warning::` and never `exit 1`; `allowlist-preflight` no longer needs
`HYPATIA_SCAN_PAT` (declared `required: false`).
- **Workflow security linter** — the SPDX predicate now scans the whole
leading comment block, so the `# managed by gh actions-lock` line 1 no
longer hides the `SPDX-License-Identifier` on line 2. Ran the exact
predicate over all 16 workflows on this branch: 0 failures. Also ran the
three new steps' scripts locally (`check-workflows-parse.sh`,
`check-workflow-duplicate-keys.sh` at `fad242d3`;
`check-action-pins-resolve.sh` from main): all 16 parse, 16 clean, 3/3
pins resolve.
- **Code quality + docs** — `check-docs-presence.sh` passes with
CONTRIBUTING under `.github/` (`✅ Core documentation present`).

Other gates at the new pin, run locally against this branch:
- `check-actions-lock-gate.sh` with `update-actions-lock.sh
--verify-local` (the `actions-lock-verify` job): `valid: true`,
transitive coverage verified. One pre-existing advisory `sha-as-ref`
note on `push-email-notify.yml`'s bare-SHA ref, not a failure.
- exemption ratchet vs `origin/main`: unchanged (`.hypatia-ignore` 9,
`root-allow.txt` 1), OK. Debt ratchet: no Debtfile, nothing to ratchet.
- `check-ts-allowlist.sh`, `check-language-policy.sh` (the two new
language-policy steps): both pass. Tracked `*.v` files are Coq; the
V-lang rule keys on `v.mod`/`vpkg.json` only.

**Lock-free bump:** every step-level action inside
`governance-reusable.yml@fad242d3` (checkout `3d3c42e5`, cache
`55cc8345`, editorconfig `840e866d`, setup-beam `54075bcc`) is already
in `actions.lock` at that SHA. Standards HEAD would bump editorconfig to
`51f63319` and force a lock regeneration; deliberately not taken.

## Note on the `Rust CI` check

`rust-ci-reusable.yml@bd0df9ea`'s detect job checks out
`refs/pull/N/merge`. When a PR is merged within seconds of opening, the
merge ref is gone by the time the queued job starts and the check fails
on `Checkout repository` (that is what happened to #158 and #159; #157,
held open, passed). Holding this PR open until every check is green
avoids the race; a pin bump to a reusable with the `github.sha` cure is
a separate follow-up.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

https://claude.ai/code/session_01QYY8Gp4v4x2J7iSNn1vZ57

Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant