CI: uniformize head of CI.yml

fingolfin · fingolfin · commit ab6e8b0109e4 · 2025-10-21T19:15:23.000+02:00
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -5,6 +5,7 @@ on:
   push:
     branches:
       - master
+      - main
   pull_request:
 
 # the `concurrency` settings ensure that not too many CI jobs run in parallel
