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.

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

Bump version to 20.0.1 #1119

Closed
wants to merge 3 commits into from
Closed

Bump version to 20.0.1 #1119

wants to merge 3 commits into from

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Dec 8, 2023

What

Bump version to 20.0.1, creating release branch.

Why

Triggered by @stellarsaur in https://github.com/stellar/soroban-tools/actions/runs/7135526230.

What is next

See the release instructions for a full rundown on the release process:
https://github.com/stellar/actions/blob/main/README-rust-release.md

Commit any changes to the release/v20.0.1 branch that are needed in this release.

If this is a regular release releasing from main, merge this PR when ready, and after merging, create a release for this version by going to this link: https://github.com/stellar/soroban-tools/releases/new?tag=v20.0.1&title=20.0.1

If this is a backport or patch release of a past version, see the release instructions. When ready to release this branch create a release by going to this link:
https://github.com/stellar/soroban-tools/releases/new?tag=v20.0.1&title=20.0.1&target=release/v20.0.1

stellarsaur and others added 3 commits December 7, 2023 16:07
(cherry picked from commit 5571538)
(cherry picked from commit 3afe4db)
(cherry picked from commit 214a0df)
(cherry picked from commit 9b3796b)
Copy link
Contributor

@sreuland sreuland left a comment

Choose a reason for hiding this comment

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

@stellarsaur , it's ok for this to merge back to main correct?

[edit] I think backport can be done on a separate pr, #1120, and #1119 can be closed, as main has moved on and don't want to port those changes into the release branch.

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.

2 participants