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

Update version for the next release (v1.5.0) in Cargo.toml #4154

Merged
merged 1 commit into from
Oct 23, 2023
Merged

Update version for the next release (v1.5.0) in Cargo.toml #4154

merged 1 commit into from
Oct 23, 2023

Conversation

meili-bot
Copy link
Contributor

⚠️ This PR is automatically generated. Check the new version is the expected one and Cargo.lock has been updated before merging.

@meili-bot meili-bot added this to the v1.5.0 milestone Oct 23, 2023
@meili-bot meili-bot added the skip changelog The PR will not appear in the release changelogs label Oct 23, 2023
curquiza
curquiza approved these changes Oct 23, 2023
View reviewed changes
Copy link
Member

@curquiza curquiza left a comment

Choose a reason for hiding this comment

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

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Oct 23, 2023

🕐 Waiting for PR status (Github check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.

@curquiza curquiza modified the milestone: v1.5.0 Oct 23, 2023
@curquiza
Copy link
Member

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Oct 23, 2023

Stopped waiting for PR status (Github check) without running due to duplicate requests to run. You may check Bors to see that this PR is included in a batch by one of the other requests.

@meili-bors
Copy link
Contributor

meili-bors bot commented Oct 23, 2023

Build succeeded:

@meili-bot meili-bot merged commit ca52021 into release-v1.5.0 Oct 23, 2023
@meili-bot meili-bot deleted the update-version-v1.5.0 branch October 23, 2023 12:42
@curquiza curquiza mentioned this pull request Oct 23, 2023
Closed
@meili-bot meili-bot added the v1.5.0 PRs/issues solved in v1.5.0 released on 2023-11-20 label Nov 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@curquiza curquiza curquiza approved these changes

Assignees
No one assigned
Labels
skip changelog The PR will not appear in the release changelogs v1.5.0 PRs/issues solved in v1.5.0 released on 2023-11-20
Projects
None yet
Milestone
v1.5.0
Development

Successfully merging this pull request may close these issues.
2 participants
@meili-bot @curquiza