Adding dev branches to workflows (#443)

p4lang · Aug 4, 2023 · 0e2fb58 · 0e2fb58
1 parent d76a364
commit 0e2fb58
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/.github/workflows/ci-build-proto.yml b/.github/workflows/ci-build-proto.yml
@@ -2,9 +2,13 @@ name: "build protobufs"
 
 on:
   push:
-    branches: [ main ]
+    branches: 
+      - main
+      - '*-dev'
   pull_request:
-    branches: [ main ]
+    branches: 
+      - main
+      - '*-dev'
   schedule:
     - cron: "0 0 * * *"
 

diff --git a/.github/workflows/codegen.yml b/.github/workflows/codegen.yml
@@ -4,9 +4,11 @@ on:
   push:
     branches:
       - main
+      - "*-dev"
   pull_request:
     branches:
       - main
+      - "*-dev"
 
 jobs:
   check-codegen:

diff --git a/.github/workflows/spec.yml b/.github/workflows/spec.yml
@@ -4,9 +4,11 @@ on:
   push:
     branches:
       - main
+      - '*-dev'
   pull_request:
     branches:
       - main
+      - '*-dev'
 
 jobs:
   madoko-lint: