Merge pull request #149 from CliMA/ck/rm_bors

Remove bors
CliMA · May 9, 2023 · b62d6d2 · b62d6d2
2 parents 9c9f9e8 + 869760c
commit b62d6d2
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 26 deletions.
diff --git a/.github/workflows/CodeCov.yml b/.github/workflows/CodeCov.yml
@@ -4,10 +4,9 @@ on:
   push:
     branches:
       - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
+  merge_group:
 
 jobs:
   codecov:

diff --git a/.github/workflows/JuliaFormatter.yml b/.github/workflows/JuliaFormatter.yml
@@ -4,10 +4,9 @@ on:
   push:
     branches:
       - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
+  merge_group:
 
 jobs:
   format:

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,10 +3,9 @@ on:
   push:
     branches:
       - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
+  merge_group:
 
 jobs:
   test:

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -4,10 +4,9 @@ on:
   push:
     branches:
       - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
+  merge_group:
 
 jobs:
   docbuild:

diff --git a/bors.toml b/bors.toml