Skip to content

Release v0.3.1: version bump - #11

Open
devin-ai-integration[bot] wants to merge 1 commit into
mainfrom
devin/1789748861-release-0.3.1
Open

devin-ai-integration[bot] wants to merge 1 commit into
mainfrom
devin/1789748861-release-0.3.1

Conversation

@devin-ai-integration

Copy link
Copy Markdown
Contributor

Summary

Version bump for the v0.3.1 release: mod_version and ide-plugin pluginVersion → 0.3.1. Release v0.3.1 is already published at tag on this head (d9a01a4), matching the established flow.

Link to Devin session: https://app.devin.ai/sessions/f2c11399d60948a394f9836472375e2f
Open in Devin Desktop: https://app.devin.ai/desktop/session/f2c11399d60948a394f9836472375e2f?variant=devin
Requested by: @CommunityPoke

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

🤖 Devin AI Engineer

I'll be helping with this pull request! Here's what you should know:

✅ I will automatically:

  • Address comments on this PR. Add '(aside)' to your comment to have me ignore it.
  • Look at CI failures and help fix them

Note: I can only respond to comments from users who have write access to this repository.

⚙️ Control Options:

  • Disable automatic comment, CI, and merge conflict monitoring

This was referenced Sep 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant