Skip to content

chore(main): release 1.2.0#23

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

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

Conversation

@github-actions
Copy link
Contributor

🤖 I have created a release beep boop

1.2.0 (2026-02-25)

Features

Bug Fixes

  • handle immutable releases (#21) (13480bc)
  • header file name (#6) (d499aa9)
  • 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 Feb 25, 2026
@anonrig anonrig deleted the release-please--branches--main branch February 25, 2026 15:06
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