ci: ci for next-major branch

chrjabs · Jun 12, 2024 · e1a4253 · e1a4253
1 parent ea0bfc0
commit e1a4253
Show file tree

Hide file tree

Showing 12 changed files with 22 additions and 23 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/rustsat.yml b/.github/workflows/rustsat.yml
@@ -2,9 +2,9 @@ name: RustSAT
 
 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/semver-checks.yml b/.github/workflows/semver-checks.yml
@@ -2,7 +2,7 @@ name: Semver checks
 
 on:
   pull_request:
-    branches: [ "main" ]
+    branches: [ "main", "next-major" ]
 
 env:
   CARGO_TERM_COLOR: always

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