ci: remove bors

bors has been deprecated for some time and seems to be gone now.
This commit is contained in:
Byron Hambly 2023-12-06 13:19:50 +02:00
parent 53972cdeb3
commit dbb66fe6b7
No known key found for this signature in database
GPG key ID: DE8F6EA20A661697
2 changed files with 0 additions and 27 deletions

View file

@ -4,8 +4,6 @@ on:
pull_request: # Need to run on pull-requests, otherwise PRs from forks don't run
push:
branches:
- "staging" # Bors uses this branch
- "trying" # Bors uses this branch
- "master" # Always build head of master for the badge in the README
jobs: