chore(github): integrate bors

orhun · Apr 28, 2023 · 1ab6f39 · 1ab6f39
1 parent d3cb25b
commit 1ab6f39
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 3 deletions.
diff --git a/.github/bors.toml b/.github/bors.toml
@@ -0,0 +1,13 @@
+status = [
+    "Check",
+    "Lints",
+    "Formatting",
+    "Test suite",
+    "Audit check",
+    "Links",
+    "Check Rust version",
+]
+delete_merged_branches = true
+update_base_for_deletes = true
+cut_body_after = "<details>"
+commit_title = "chore(pull): merge ${PR_REFS}"
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,12 +1,12 @@
 name: Continuous Integration
 
 on:
-  push:
-    branches:
-      - main
   pull_request:
+  push:
     branches:
       - main
+      - staging # for bors
+      - trying # for bors
   schedule:
     - cron: "0 0 * * 0"