Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Release 12.3.1 into trunk #611

Merged
merged 1 commit into from
Nov 13, 2024
Merged

Release 12.3.1 into trunk #611

merged 1 commit into from
Nov 13, 2024

Conversation

AliSoftware
Copy link
Contributor

Releasing new version 12.3.1.

What's Next

PR Author: Be sure to create and publish a GitHub Release pointing to trunk once this PR gets merged,
copy/pasting the following text as the GitHub Release's description:

### Bug Fixes

- Fix issue with post-processing of PR urls in the body of GitHub releases created via `create_github_release` [#610]

@AliSoftware AliSoftware added the Releases Release related stuff label Nov 13, 2024
@AliSoftware AliSoftware requested review from iangmaia and a team November 13, 2024 18:37
@AliSoftware AliSoftware self-assigned this Nov 13, 2024
iangmaia
iangmaia approved these changes Nov 13, 2024
View reviewed changes
Copy link
Contributor

@iangmaia iangmaia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@AliSoftware AliSoftware merged commit 8ed2bb1 into trunk Nov 13, 2024
6 of 9 checks passed
@AliSoftware AliSoftware deleted the release/12.3.1 branch November 13, 2024 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@iangmaia iangmaia iangmaia approved these changes

Assignees

@AliSoftware AliSoftware

Labels
Releases Release related stuff
Projects
None yet
Milestone
2️⃣ Next Minor Release
Development

Successfully merging this pull request may close these issues.
2 participants
@AliSoftware @iangmaia