Skip to content

chore(main): release 1.3.0#39

Closed
github-actions[bot] wants to merge 1 commit intomainfrom
release-please--branches--main
Closed

chore(main): release 1.3.0#39
github-actions[bot] wants to merge 1 commit intomainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Mar 6, 2026

🤖 I have created a release beep boop

1.3.0 (2026-03-06)

Features

Bug Fixes

  • don't bail on shorthand 'get' in literal exports (#37) (48bbbbf)
  • handle immutable releases (#21) (13480bc)
  • header file name (#6) (d499aa9)
  • rust: encode non-zero line invariant in API (#31) (9966022)
  • simplify things in rust crate (f4e857e)
  • tie rust export borrows to analysis lifetime (0fed125)
  • update release.yml (7050760)
  • use thread_local last error tracking (f529e8b)

This PR was generated with Release Please. See documentation.

@anonrig anonrig closed this Mar 6, 2026
@anonrig anonrig deleted the release-please--branches--main branch March 6, 2026 16:50
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.

1 participant