github: update ci branches

johnlettman · Jul 15, 2024 · 0f3adfb · 0f3adfb
1 parent 70a6808
commit 0f3adfb
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,7 +1,8 @@
 on:
+  push:
+    branches: [ main, devel ]
   pull_request:
-    branches:
-      - main
+    branches: [ main ]
     paths-ignore:
       - "**/*.md"
       - "**/*.py"