CI: use github actions to merge PRs by bors

intellij-rust · Jul 25, 2020 · 332a118 · 332a118
1 parent b6b43b8
commit 332a118
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/bors.toml b/bors.toml
@@ -1,6 +1,5 @@
 status = [
-  "continuous-integration/travis-ci/push",
-  "continuous-integration/appveyor/branch",
+  "check",
 ]
 delete_merged_branches = true
 timeout_sec = 10800