Skip to content

[Merged by Bors] - Add "ci" job to the bors.toml#2612

Closed
MinerSebas wants to merge 1 commit intobevyengine:mainfrom
MinerSebas:bors
Closed

[Merged by Bors] - Add "ci" job to the bors.toml#2612
MinerSebas wants to merge 1 commit intobevyengine:mainfrom
MinerSebas:bors

Conversation

@MinerSebas
Copy link
Contributor

Objective

Solution

  • Add the "ci" job to the bors.toml

@DJMcNab
Copy link
Member

DJMcNab commented Aug 6, 2021

bors try

Want to check that the name is correct.

bors bot added a commit that referenced this pull request Aug 6, 2021
@cart
Copy link
Member

cart commented Aug 6, 2021

bors r+

bors bot pushed a commit that referenced this pull request Aug 6, 2021
# Objective

- #2551 revamped our CI setup which included running clippy and rustfmt in another Job.
- This new Job wasn't added to the bors.toml, which means that PRs would be accepted that didn't run them.

## Solution

- Add the "ci" job to the bors.toml
@bors bors bot changed the title Add "ci" job to the bors.toml [Merged by Bors] - Add "ci" job to the bors.toml Aug 6, 2021
@bors bors bot closed this Aug 6, 2021
@MinerSebas MinerSebas deleted the bors branch August 6, 2021 22:37
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.

3 participants