ci: add push trigger for main branch to enable coverage reporting

ChristianBeilschmidt · ChristianBeilschmidt · commit 718d5fa95f14 · 2026-04-23T17:42:57.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,6 +3,9 @@ name: CI
 on:
   pull_request:
   merge_group:
+  push:
+    branches:
+      - main # For generating code coverage on main branch
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
