Skip to content

ci: re-pin the release build toolchain action to a reachable commit - #92

Merged
MotherSphere merged 1 commit into
mainfrom
ci/repin-release-toolchain
Oct 9, 2026
Merged

MotherSphere merged 1 commit into
mainfrom
ci/repin-release-toolchain

Conversation

@MotherSphere

Copy link
Copy Markdown
Member

The release build job pinned dtolnay/rust-toolchain to 4cda84d5, a commit on the action's stable branch. That branch is rebased onto every master commit, and the compare API now reports 4cda84d5 as diverged from master, so no branch reaches it. If GitHub garbage-collects it, the next tagged release fails at toolchain setup.

This re-pins it to e2a55d2f (master, 2026-10-09), the same pin ci.yml uses since #91, and adds toolchain: stable, which the master action requires.

@MotherSphere
MotherSphere merged commit 05b5733 into main Oct 9, 2026
5 checks passed
@MotherSphere
MotherSphere deleted the ci/repin-release-toolchain branch October 9, 2026 15:01
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