Merge pull request #61 from CliMA/sk/update_gh_without_merge_queue

Migrating from bors to GitHub without merge queue
CliMA · Nov 7, 2023 · 9e288cc · 9e288cc
2 parents 997fea9 + 3130c2c
commit 9e288cc
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 20 deletions.
diff --git a/.github/workflows/CodeCov.yml b/.github/workflows/CodeCov.yml
@@ -2,10 +2,6 @@ name: CodeCov
 
 on:
   push:
-    branches:
-      - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
 

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,10 +1,6 @@
 name: ci
 on:
   push:
-    branches:
-      - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
 

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -4,8 +4,6 @@ on:
   push:
     branches:
       - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
 

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