diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
deleted file mode 100644
index 0462c6f333c..00000000000
--- a/.github/workflows/bors.yml
+++ /dev/null
@@ -1,9 +0,0 @@
-name: ci
-if: ${{ success() }}
-needs:
-  - exfmt
-  - test
-runs-on: ubuntu-latest
-steps:
-  - name: CI succeeded
-    run: exit 0