Skip to content

chore(main): release 0.5.0 - #86

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

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

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 22, 2026 •

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.5.0 (2026-08-23)

⚠ BREAKING CHANGES

  • dissolve Auto submodule; the library is @safe (#87)
  • remove manual ownership overlay; package is @safe-only (#82)

Features

  • remove manual ownership overlay; package is [@safe](https://github.com/safe)-only (#82) (6900ec6)
  • support Julia 1.13 (#88) (1edc999)

Code Refactoring


This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--BorrowChecker branch 2 times, most recently from 55d61fb to 0ada112 Compare August 23, 2026 22:05
@github-actions
github-actions Bot force-pushed the release-please--branches--main--components--BorrowChecker branch from 0ada112 to 4153199 Compare August 23, 2026 23:10

This branch has not been deployed

No deployments
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