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

[ci] Config bors #3316

Merged
merged 1 commit into from
Apr 6, 2022
Merged

[ci] Config bors #3316

merged 1 commit into from
Apr 6, 2022

Conversation

jolestar
Copy link
Member

@jolestar jolestar commented Apr 6, 2022

Pull request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • Documentation content changes
  • Other (please describe):

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Other information

@yourmoonlight
Copy link
Collaborator

LGTM

@jolestar
Copy link
Member Author

jolestar commented Apr 6, 2022

bors merge

bors bot added a commit that referenced this pull request Apr 6, 2022
3316: [ci] Config bors r=jolestar a=jolestar

<!--- Please provide a general summary of your changes in the title above -->

## Pull request type

<!-- Please try to limit your pull request to one type, submit multiple pull requests if needed. -->

Please check the type of change your PR introduces:

- [ ] Bugfix
- [ ] Feature
- [ ] Code style update (formatting, renaming)
- [ ] Refactoring (no functional changes, no api changes)
- [x] Build related changes
- [ ] Documentation content changes
- [ ] Other (please describe):

## What is the current behavior?

<!-- Please describe the current behavior that you are modifying, or link to a relevant issue. -->

Issue Number: N/A

## What is the new behavior?

<!-- Please describe the behavior or changes that are being added by this PR. -->

-
-
-

## Other information

<!-- Any other information that is important to this PR such as screenshots of how the component looks before and after the change. -->


Co-authored-by: jolestar <jolestar@gmail.com>
@bors
Copy link

bors bot commented Apr 6, 2022

Timed out.

@jolestar jolestar merged commit 8691b97 into master Apr 6, 2022
@jolestar jolestar deleted the bors branch April 6, 2022 21:38
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