Skip to content

chore(main): release 0.7.13#36

Merged
subzeroid merged 1 commit into
mainfrom
release-please--branches--main--components--insto
May 28, 2026
Merged

chore(main): release 0.7.13#36
subzeroid merged 1 commit into
mainfrom
release-please--branches--main--components--insto

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

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

🤖 I have created a release beep boop

0.7.13 (2026-05-28)

Fixed

Documentation

  • actualize REPL docs for startup target, themes, picker, shortcuts (#35) (b16cbe9)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main--components--insto branch from 921998b to 3f00c6b Compare May 28, 2026 02:32
@subzeroid subzeroid merged commit 432d203 into main May 28, 2026
@subzeroid subzeroid deleted the release-please--branches--main--components--insto branch May 28, 2026 02:34
@github-actions
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