Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,7 @@ on:
# Single source of truth for the rivet pin; every install step below
# references this so a bump is one edit, not a grep-replace across jobs.
env:
RIVET_PIN: c7f9881d25acea50babd51a2a48672ce0cf99b1f

RIVET_PIN: v0.12.0
jobs:
test:
strategy:
Expand Down Expand Up @@ -89,7 +88,7 @@ jobs:
# Builds and caches the embeddable Racket CS runtime and exports
# RIVET_RACKET_* (rivet's own composite action).
- name: Set up embeddable Racket CS
uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.11.0
uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.12.0
# Installed after the embeddable runtime so the catalog dependency
# closure (cext-lib, crypto-lib, keel) resolves against the minimal
# build — it ships no packages of its own. crypto backs the updater.
Expand Down
5 changes: 2 additions & 3 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,7 @@ env:
# install 'URL#'` silently resolve to rivet main-HEAD, so release
# artifacts were built from an untested commit while the contract tests
# ran the pinned version (v0.4.1 / v0.4.2 shipped this way).
RIVET_PIN: v0.11.0

RIVET_PIN: v0.12.0
permissions:
contents: write
id-token: write
Expand Down Expand Up @@ -201,7 +200,7 @@ jobs:
steps:
- uses: actions/checkout@v7
- name: Set up embeddable Racket CS
uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.11.0
uses: turinglambdaai/rivet/.github/actions/setup-embed-racket@v0.12.0
# Installed after the embeddable runtime so the catalog dependency
# closure (cext-lib, crypto-lib, keel) resolves against the minimal
# build — it ships no packages of its own. crypto backs the updater.
Expand Down
Loading