Skip to content

Version tag to 1.25.0-rc1#6299

Merged
mnencia merged 3 commits intomainfrom
release/v1.25.0-rc1
Dec 9, 2024
Merged

Version tag to 1.25.0-rc1#6299
mnencia merged 3 commits intomainfrom
release/v1.25.0-rc1

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Dec 9, 2024

Automated PR. Will trigger the 1.25.0-rc1 release when approved.

Signed-off-by: Niccolò Fei <niccolo.fei@enterprisedb.com>
@github-actions github-actions bot requested a review from jsilvela as a code owner December 9, 2024 09:13
@github-actions github-actions bot requested a review from a team as a code owner December 9, 2024 09:13
Signed-off-by: Niccolò Fei <niccolo.fei@enterprisedb.com>
@github-actions
Copy link
Contributor Author

github-actions bot commented Dec 9, 2024

Build Error! No Linked Issue found. Please link an issue or mention it in the body using #<issue_id>

@github-actions
Copy link
Contributor Author

github-actions bot commented Dec 9, 2024

Build Error! No Linked Issue found. Please link an issue or mention it in the body using #<issue_id>

@NiccoloFei NiccoloFei added no-issue ok to merge 👌 This PR can be merged labels Dec 9, 2024
Signed-off-by: Niccolò Fei <niccolo.fei@enterprisedb.com>
@mnencia mnencia merged commit 83222ae into main Dec 9, 2024
@mnencia mnencia deleted the release/v1.25.0-rc1 branch December 9, 2024 10:08
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.

2 participants