CI: uniformize head of CI.yml

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