Skip to content

chore: move the Rivet pin to a92877c (linux-formats release fix) - #91

Merged
turinglambdaai merged 1 commit into
mainfrom
chore/rivet-pin-a92877c
Oct 24, 2026
Merged

turinglambdaai merged 1 commit into
mainfrom
chore/rivet-pin-a92877c

Conversation

@turinglambdaai

Copy link
Copy Markdown
Owner

What

Moves the immutable Rivet pin 4cd374f → a92877c (rivet main after #321, the fix for #320).

[#320] broke every production release with a non-empty linux-formats list: verify-linux-native-installers! shadowed the format builtin with its loop variable, so verifying a deb applied the string "deb" as a procedure — v0.13.3 had to ship without deb/rpm/AppImage (documented in its changelog). The red→green proof lives on the rivet PR (test-only commit red on CI with given: "deb", fix green 23/23).

This PR:

  • replaces the pin in all six workflows, including the setup-embed-racket@ action refs (kept in lockstep per AGENTS.md),
  • restores linux-formats . ("deb" "rpm" "appimage") so the next release ships the native installers and the signed AppImage update payload again (0.13.3 is already published; its notes stay accurate),
  • regenerates the host clients with the pinned generator — zero drift.

Verification

  • raco test tests/ green (134), raco rivet schema check compatible.
  • raco rivet acceptance --json 5/5 on macOS with the new pin.
  • CI runs the full three-platform matrix plus the Linux AppImage / Windows MSI upgrade smokes against the new pin.

The pinned revision carried the release-pipeline crash fixed upstream in
rivet#321 (a for-loop variable shadowed the format builtin, so any
project with a non-empty linux-formats list died at production
verification). Native Linux installers return in the next release;
restore linux-formats now that the pin includes the fix.

Pin replaced in all six workflows including the setup-embed-racket
action refs. Generated clients regenerated with the pin — zero drift.
Local gates: 134 tests, schema compatible, macOS acceptance 5/5.
@turinglambdaai
turinglambdaai merged commit 48da342 into main Oct 24, 2026
16 checks passed
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