Skip to content

ci: pin rivet to v0.12.0 - #23

Merged
turinglambdaai merged 1 commit into
mainfrom
chore/rivet-v0.12.0
Oct 19, 2026
Merged

turinglambdaai merged 1 commit into
mainfrom
chore/rivet-v0.12.0

Conversation

@turinglambdaai

@turinglambdaai turinglambdaai commented Oct 19, 2026 •

Copy link
Copy Markdown
Owner

Superseded by #25, which reapplies the same Rivet v0.12.0 pin on top of the current main after the updater fixes. The v0.12.0 annotated tag was verified to dereference to 1ebb3ac09ed2e23eeb0a91cbec6e689aac01ab1a.

The dependency pin preflight requires full 40-hex SHAs (immutable trust
chain), so the pin records the release commit instead of the tag name.
@turinglambdaai
turinglambdaai merged commit 7965ebe into main Oct 19, 2026
10 checks passed
@turinglambdaai
turinglambdaai deleted the chore/rivet-v0.12.0 branch October 19, 2026 14:05
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