Merge pull request #147 from CliMA/zs/remove_bors

modify workflow for github without merge queue
CliMA · Nov 7, 2023 · 155fb92 · 155fb92
2 parents b18dc00 + 37f1b7d
commit 155fb92
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 16 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/Docs.yml b/.github/workflows/Docs.yml
@@ -2,10 +2,6 @@ name: Documentation
 
 on:
   push:
-    branches:
-      - main
-      - trying
-      - staging
     tags: '*'
   pull_request:
 

diff --git a/.github/workflows/JuliaFormatter.yml b/.github/workflows/JuliaFormatter.yml
@@ -2,10 +2,6 @@ name: JuliaFormatter
 
 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: