Skip to content

chore(main): release 3.2.1 - #534

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main
Open

github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

3.2.1 (2026-07-10)

Bug Fixes

  • convention: reject unsafe http_path patterns and non-ASCII string literals (#533) (ebaef2e)
  • verify: keep inner-bound variables out of quantifier E-matching triggers (#536) (236d83f)

Code Refactoring

  • codegen: share compose scaffolding and unify kernel-output marshalling (#535) (4cc165c)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from 1121460 to f98b811 Compare July 10, 2026 12:20
@github-actions
github-actions Bot force-pushed the release-please--branches--main branch from f98b811 to 72d5c69 Compare July 10, 2026 17:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants