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

chore(main): release 0.5.0#86
github-actions[bot] wants to merge 1 commit into
mainfrom
release-please--branches--main--components--BorrowChecker

Commits

Commits on Aug 23, 2026