Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

chore: switch to version 2.3.2 after the release #2369

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
kittaakos merged 1 commit into main from post-release-2.3.1
Feb 15, 2024
Merged

Conversation

Copy link
Contributor

@kittaakos kittaakos commented Feb 14, 2024
edited
Loading

(削除) ⚠️ MUST BE MERGED AFTER THE 2.3.1 RELEASE! (削除ここまで) DONE ✅

Motivation

Produce the nightly builds (and IDE2 updates) with the correct 2.3.2-nightly* version.

Change description

Bump version from 2.3.1 to 2.3.2

Other information

See the documentation for more details on why we have to do this or reference a previous after-release version metadata bump PR here.

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Feb 14, 2024
@kittaakos kittaakos marked this pull request as ready for review February 15, 2024 09:24
@kittaakos kittaakos merged commit 547a630 into main Feb 15, 2024
@kittaakos kittaakos deleted the post-release-2.3.1 branch February 15, 2024 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@per1234 per1234 per1234 approved these changes

@davegarthsimpson davegarthsimpson Awaiting requested review from davegarthsimpson

Assignees
No one assigned
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /