CI: run the CI in various branches

vmihalko · Oct 8, 2023 · e2820c0 · e2820c0
1 parent 7156506
commit e2820c0
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -4,10 +4,10 @@ on:
   # TODO: rename to main when we remove the binary blobs from the git history
   push:
     branches:
-      - master
+      - [ "master", "main", "vmihalko-devel"]
   pull_request:
     branches:
-      - master
+      - [ "master", "main", "vmihalko-devel"]
 
 jobs:
   build:

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -3,11 +3,11 @@ name: macOS CI
 on:
   # TODO: rename to main when we remove the binary blobs from the git history
   push:
-    branches:
-      - master
+   branches:
+      - [ "master", "main", "vmihalko-devel"]
   pull_request:
     branches:
-      - master
+      - [ "master", "main", "vmihalko-devel"]
 
 jobs:
   build:

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -4,10 +4,10 @@ on:
   # TODO: rename to main when we remove the binary blobs from the git history
   push:
     branches:
-      - master
+      - [ "master", "main", "vmihalko-devel"]
   pull_request:
     branches:
-      - master
+      - [ "master", "main", "vmihalko-devel"]
 
 jobs:
   build: