diff --git a/.github/workflows/sdci.yml b/.github/workflows/sdci.yml new file mode 100644 index 0000000..f20da18 --- /dev/null +++ b/.github/workflows/sdci.yml @@ -0,0 +1,11 @@ +on: + pull_request: + merge_group: + +# This is required to silence emails about the workflow having no jobs. +# We simply define a dummy job that does nothing much. +jobs: + dummy: + runs-on: ubuntu-latest + steps: + - run: /usr/bin/true diff --git a/bors.toml b/bors.toml deleted file mode 100644 index 35f1f7d..0000000 --- a/bors.toml +++ /dev/null @@ -1,8 +0,0 @@ -status = ["buildbot/buildbot-build-script"] - -timeout_sec = 600 # 10 minutes - -# Have bors delete auto-merged branches -delete_merged_branches = true - -cut_body_after = ""