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

Add Milestone Check status to bors.toml #1808

Merged
merged 2 commits into from Oct 14, 2021
Merged

Add Milestone Check status to bors.toml #1808

merged 2 commits into from Oct 14, 2021

Conversation

curquiza
Copy link
Member

No description provided.

@curquiza
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Oct 13, 2021
@bors
Try #1808:
23b0f03
@curquiza
Copy link
Member Author

bors try-

@curquiza
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Oct 14, 2021
@bors
Try #1808:
32fa6d3
@curquiza curquiza added this to the v0.23.1 milestone Oct 14, 2021
@curquiza
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Oct 14, 2021
@bors
Try #1808:
4311cd6
@curquiza curquiza mentioned this pull request Oct 14, 2021
Closed
@curquiza
Copy link
Member Author

bors try

@bors
Copy link
Contributor

bors bot commented Oct 14, 2021

try

Already running a review

@curquiza
Copy link
Member Author

bors try-

@curquiza
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Oct 14, 2021
@bors
Try #1808:
280577f
@curquiza curquiza modified the milestones: v0.23.1, v0.24.0 Oct 14, 2021
@bors
Copy link
Contributor

bors bot commented Oct 14, 2021

try

Build succeeded:

@curquiza curquiza removed this from the v0.24.0 milestone Oct 14, 2021
@curquiza
Copy link
Member Author

bors try

bors bot added a commit that referenced this pull request Oct 14, 2021
@bors
Try #1808:
399af84
@curquiza curquiza marked this pull request as ready for review October 14, 2021 12:45
@bors
Copy link
Contributor

bors bot commented Oct 14, 2021

try

Build succeeded:

@curquiza
Copy link
Member Author

bors merge

@bors
Copy link
Contributor

bors bot commented Oct 14, 2021

🕐 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 added this to the v0.24.0 milestone Oct 14, 2021
@curquiza
Copy link
Member Author

bors merge

@bors
Copy link
Contributor

bors bot commented Oct 14, 2021

Build succeeded:

@bors bors bot merged commit 9fd849d into main Oct 14, 2021
@bors bors bot deleted the add-milestone-check branch October 14, 2021 13:19
@curquiza curquiza mentioned this pull request Oct 25, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ManyTheFish ManyTheFish ManyTheFish approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.24.0
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@curquiza @ManyTheFish