Skip to content

fix(ci): relock dtolnay/rust-toolchain@stable — upstream ref moved - #353

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/relock-rust-toolchain-stable
Aug 7, 2026
Merged

fix(ci): relock dtolnay/rust-toolchain@stable — upstream ref moved#353
hyperpolymath merged 1 commit into
mainfrom
fix/relock-rust-toolchain-stable

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Every Rust-touching workflow currently fails at startup, on main and on every PR:

Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for `dtolnay/rust-toolchain`
does not match ref `stable`

stable is a moving ref — dtolnay re-points it at each Rust release — so a lockfile pin against it goes stale on upstream's schedule, not ours. Upstream now resolves to 4360b525….

Affected while stale: Cargo Audit, MVP Smoke, Server Boot Gate, Live Provers, Rust CI, S4 Loop, Chapel CI, Formal Verification — all fail before running a step.

Worth knowing for the estate sweep

gh actions-lock --relock alone does not fix this. A plain --relock leaves pins whose recorded commit is no longer reachable upstream as errors; --accept-moved is required to re-resolve them.

Two tool side-effects were reverted rather than committed:

  • it re-inserted its managed by gh actions-lock marker at line 1 of all 31 workflows — duplicating the marker already at line 2 and displacing the SPDX identifier, which the Workflow Security Linter requires on line 1 (it greps head -1). Deduped and restored.
  • it added a lockfile entry for main-estate-audit.yml, an untracked scratch file that is not part of the repository. Removed.

The result is a one-line diff.

Recurrence

This will happen again every time upstream moves stable. The durable fix is either pinning a released tag instead of a moving ref, or scheduling a periodic relock. Not done here — this PR restores CI and nothing more.

Split out of #352 (documentation refresh) deliberately: that PR changes no CI behaviour, and this one changes nothing but.

🤖 Generated with Claude Code

Every Rust-touching workflow fails at startup with:

  Lockfile pin 4cda84d5c5c54efe2404f9d843567869ab1699d4 for
  `dtolnay/rust-toolchain` does not match ref `stable`

`stable` is a moving ref: dtolnay re-points it at each Rust release, so
a lockfile pin against it goes stale on upstream's schedule rather than
ours. Upstream now resolves to 4360b52568e2003a75bf9bc1d59f33a8e3fc893c.

Blast radius while stale: Cargo Audit, MVP Smoke, Server Boot Gate,
Live Provers, Rust CI, S4 Loop, Chapel CI, Formal Verification — all
fail before running a step, on main and on every PR.

`gh actions-lock --relock` alone does NOT fix it: a plain --relock
leaves pins whose recorded commit is no longer reachable upstream as
errors. --accept-moved is required to re-resolve them.

Two side-effects of the tool were reverted rather than committed:
- it re-inserted its "managed by gh actions-lock" marker at line 1 of
  all 31 workflows, duplicating the existing marker and displacing the
  SPDX identifier from line 1, which the Workflow Security Linter
  requires (it greps head -1). Deduped; SPDX restored to line 1.
- it added a lockfile entry for main-estate-audit.yml, an untracked
  scratch file that is not part of the repository. Removed.

Result is a one-line change. This recurs whenever upstream moves
`stable`; the durable fix is either pinning a released tag instead of a
moving ref, or a scheduled relock.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@gitar-bot

This comment has been minimized.

@gitar-bot
gitar-bot Bot enabled auto-merge (squash) August 7, 2026 11:45

@gitar-bot gitar-bot Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Gitar has auto-approved this PR and enabled auto-merge (configure)

@hyperpolymath
hyperpolymath merged commit 1d1b412 into main Aug 7, 2026
49 of 55 checks passed
@hyperpolymath
hyperpolymath deleted the fix/relock-rust-toolchain-stable branch August 7, 2026 13:41
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