Skip to content

chore(master): release 0.13.1#75

Open
github-actions[bot] wants to merge 1 commit into
masterfrom
release-please--branches--master
Open

chore(master): release 0.13.1#75
github-actions[bot] wants to merge 1 commit into
masterfrom
release-please--branches--master

Conversation

@github-actions

@github-actions github-actions Bot commented May 16, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

0.13.1 (2026-05-19)

Documentation

  • add regex documentation guidelines to instructions.md (24ed471)
  • update coding standards and refactor type aliases (0b73d21)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--master branch 2 times, most recently from b2d9ff4 to b7b2202 Compare May 19, 2026 12:05
@github-actions github-actions Bot force-pushed the release-please--branches--master branch from b7b2202 to 1d37cb4 Compare May 19, 2026 17:33
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