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 2acd074..0000000 --- a/bors.toml +++ /dev/null @@ -1,10 +0,0 @@ -# The service providing the commit statuses to GitHub. -status = ["buildbot/buildbot-build-script"] - -# Allow 3 hours for build + tests -timeout_sec = 10800 - -# Have bors delete auto-merged branches -delete_merged_branches = true - -cut_body_after = ""