added bors integration

This commit is contained in:
Robin Müller 2021-11-01 23:54:24 +01:00
parent 90e9ba7117
commit 1922dfbd29
No known key found for this signature in database
GPG Key ID: 71B58F8A3CDFA9AC
2 changed files with 12 additions and 1 deletions

2
.github/bors.toml vendored Normal file
View File

@ -0,0 +1,2 @@
status = ["ci"]
delete_merged_branches = true

View File

@ -48,3 +48,12 @@ jobs:
with:
command: clippy
args: -- -D warnings
ci:
if: ${{ success() }}
# all new jobs must be added to this list
needs: [check, fmt, clippy]
runs-on: ubuntu-latest
steps:
- name: CI succeeded
run: exit 0