CI: run the CI in various branches

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

Hide file tree

Showing 3 changed files with 6 additions and 12 deletions.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -3,11 +3,9 @@ name: Linux 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
+    branches: [ "master", "main", "vmihalko-devel"]
 
 jobs:
   build:

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -3,11 +3,9 @@ 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
+    branches: [ "master", "main", "vmihalko-devel"]
 
 jobs:
   build:

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -3,11 +3,9 @@ name: Windows 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
+    branches: [ "master", "main", "vmihalko-devel"]
 
 jobs:
   build: