Skip to content

chore(main): release 2.13.6#383

Merged
davidpoblador merged 1 commit into
mainfrom
release-please--branches--main
Nov 6, 2025
Merged

chore(main): release 2.13.6#383
davidpoblador merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 6, 2025

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

2.13.6 (2025-11-06)

Bug Fixes

  • sandboxing was a real productivity killer (#382) (adb9429)

This PR was generated with Release Please. See documentation.

@davidpoblador davidpoblador merged commit 97ac315 into main Nov 6, 2025
@davidpoblador davidpoblador deleted the release-please--branches--main branch November 6, 2025 10:52
@github-actions

github-actions Bot commented Nov 6, 2025

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

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