diff --git a/.github/workflows/sdci.yml b/.github/workflows/sdci.yml new file mode 100644 index 00000000000000..f20da180a86cfb --- /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 0c8b63ce237156..00000000000000 --- a/bors.toml +++ /dev/null @@ -1,10 +0,0 @@ -# The service providing the commit statuses to GitHub. -status = ["buildbot/buildbot-build-script"] - -# Allow four hours for builds + tests. -timeout_sec = 14400 - -# Have bors delete auto-merged branches -delete_merged_branches = true - -cut_body_after = ""