CI on develop pushes to GitHub

ktomk · ktomk · commit a50760b132eb · 2025-03-11T22:49:55.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,6 +5,7 @@ on:
   push:
     branches:
       - master
+      - develop
   pull_request:
     branches:
       - master
