ci: run on push for _dev branches

This is a compromise between running on all pushes vs only running for main/PRs that still allows easy on-demand CI runs while developing.
rustls · Jul 9, 2024 · 941387a · 941387a
1 parent 8b45862
commit 941387a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
     - main
+    - "*_dev"
   pull_request: {}
   schedule:
     - cron: "33 4 * * 5"