mirror of
https://github.com/rtic-rs/rtic.git
synced 2024-11-25 21:19:35 +01:00
CI: Remove Bors
This commit is contained in:
parent
6480ec5c3a
commit
28614a088e
2 changed files with 1 additions and 12 deletions
3
.github/bors.toml
vendored
3
.github/bors.toml
vendored
|
@ -1,3 +0,0 @@
|
||||||
block_labels = ["S-blocked"]
|
|
||||||
delete_merged_branches = true
|
|
||||||
status = ["ci"]
|
|
10
.github/workflows/build.yml
vendored
10
.github/workflows/build.yml
vendored
|
@ -1,13 +1,10 @@
|
||||||
name: Build
|
name: Build
|
||||||
on:
|
on:
|
||||||
|
merge_group:
|
||||||
pull_request:
|
pull_request:
|
||||||
push:
|
push:
|
||||||
branches:
|
branches:
|
||||||
- master
|
- master
|
||||||
- staging
|
|
||||||
- trying
|
|
||||||
- bors/staging
|
|
||||||
- bors/trying
|
|
||||||
|
|
||||||
env:
|
env:
|
||||||
CARGO_TERM_COLOR: always
|
CARGO_TERM_COLOR: always
|
||||||
|
@ -493,8 +490,6 @@ jobs:
|
||||||
run: echo "Master branch contains a development release, no git push performed"
|
run: echo "Master branch contains a development release, no git push performed"
|
||||||
|
|
||||||
# Only runs when pushing to master branch
|
# Only runs when pushing to master branch
|
||||||
# Bors run CI against staging branch,
|
|
||||||
# if that succeeds Borst tries against master branch
|
|
||||||
# If all tests pass, then deploy stage is run
|
# If all tests pass, then deploy stage is run
|
||||||
deploy:
|
deploy:
|
||||||
name: deploy
|
name: deploy
|
||||||
|
@ -638,10 +633,7 @@ jobs:
|
||||||
publish_dir: ./bookstodeploy
|
publish_dir: ./bookstodeploy
|
||||||
force_orphan: true
|
force_orphan: true
|
||||||
|
|
||||||
# Refs: https://github.com/rust-lang/crater/blob/9ab6f9697c901c4a44025cf0a39b73ad5b37d198/.github/workflows/bors.yml#L125-L149
|
|
||||||
#
|
|
||||||
# ALL THE PREVIOUS JOBS NEEDS TO BE ADDED TO THE `needs` SECTION OF THIS JOB!
|
# ALL THE PREVIOUS JOBS NEEDS TO BE ADDED TO THE `needs` SECTION OF THIS JOB!
|
||||||
|
|
||||||
ci-success:
|
ci-success:
|
||||||
name: ci
|
name: ci
|
||||||
if: github.event_name == 'push' && success()
|
if: github.event_name == 'push' && success()
|
||||||
|
|
Loading…
Reference in a new issue