Skip to content

chore(main): release 0.1.3#33

Merged
roodboi merged 1 commit into
mainfrom
release-please--branches--main
Mar 26, 2026
Merged

chore(main): release 0.1.3#33
roodboi merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@roodboi

@roodboi roodboi commented Mar 26, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.1.3 (2026-03-26)

Bug Fixes

  • enforce stack parent invariants and deterministic PR lookup (c823ef7)
  • enforce stack parent invariants and deterministic PR lookup (a67b5cc)
  • mark release prs as tagged after tagging (5471af3)

This PR was generated with Release Please. See documentation.

@roodboi roodboi merged commit a932403 into main Mar 26, 2026
3 checks passed
@roodboi roodboi deleted the release-please--branches--main branch March 26, 2026 01:45
@roodboi roodboi added autorelease: tagged Release PR has been tagged and removed autorelease: pending labels Mar 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

autorelease: tagged Release PR has been tagged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant