Skip to content

chore(main): release 1.13.0 - #477

Merged
neubig merged 1 commit into
mainfrom
release-please--branches--main
Sep 16, 2026
Merged

neubig merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@openhands-release-bot

@openhands-release-bot openhands-release-bot Bot commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

1.13.0 (2026-09-16)

What's Changed

Features

Bug Fixes

Documentation

Maintenance

Full Changelog: 1.12.1...1.13.0


This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot added the type: chore Maintenance / chores label Sep 15, 2026
@github-actions

github-actions Bot commented Sep 15, 2026

Copy link
Copy Markdown
Contributor

Coverage

Warning

Your comment is too long (maximum is 65536 characters), so the coverage report was not added. See the job log for how to reduce it.

@openhands-release-bot
openhands-release-bot Bot force-pushed the release-please--branches--main branch 2 times, most recently from c839281 to e8d25e7 Compare September 16, 2026 15:59
@openhands-release-bot openhands-release-bot Bot changed the title chore(main): release 1.12.2 chore(main): release 1.13.0 Sep 16, 2026
@openhands-release-bot
openhands-release-bot Bot force-pushed the release-please--branches--main branch 2 times, most recently from 2f2639b to 3dfa674 Compare September 16, 2026 20:22
@openhands-release-bot
openhands-release-bot Bot force-pushed the release-please--branches--main branch from 3dfa674 to 77b6363 Compare September 16, 2026 21:38
@neubig
neubig enabled auto-merge (squash) September 16, 2026 21:39
@neubig
neubig merged commit 67b2aca into main Sep 16, 2026
15 checks passed
@openhands-release-bot

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant