ci: ci for next-major branch

chrjabs · May 27, 2024 · 4b882d4 · 4b882d4
1 parent 6688667
commit 4b882d4
Show file tree

Hide file tree

Showing 10 changed files with 19 additions and 20 deletions.
diff --git a/.github/workflows/cadical.yml b/.github/workflows/cadical.yml
@@ -2,9 +2,9 @@ name: CaDiCaL
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/capi.yml b/.github/workflows/capi.yml
@@ -2,9 +2,9 @@ name: C-API
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -2,9 +2,9 @@ name: Docs
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/glucose.yml b/.github/workflows/glucose.yml
@@ -2,9 +2,9 @@ name: Glucose
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/ipasir.yml b/.github/workflows/ipasir.yml
@@ -2,9 +2,9 @@ name: IPASIR
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/kissat.yml b/.github/workflows/kissat.yml
@@ -2,9 +2,9 @@ name: Kissat
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/minisat.yml b/.github/workflows/minisat.yml
@@ -2,9 +2,9 @@ name: Minisat
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/pr-lints.yml b/.github/workflows/pr-lints.yml
@@ -2,7 +2,7 @@ name: Lints
 
 on:
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

diff --git a/.github/workflows/pyapi.yml b/.github/workflows/pyapi.yml
@@ -7,12 +7,11 @@ name: Python Build
 
 on:
   push:
-    branches:
-      - main
+    branches: [ "main", "next-major" ]
     tags:
       - '*'
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   workflow_dispatch:
 
 permissions:

diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
@@ -2,9 +2,9 @@ name: RustSAT Tools
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always