chore: Run CI on all dev-* branches on push.

pdeljanov · pdeljanov · commit 4cd1287326f8 · 2025-08-18T00:17:17.000-04:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - 'dev-*'
   pull_request: {}
 
 jobs:
