Only run coverage on push, not on pull_request

robinst · robinst · commit 0c1378dbd329 · 2024-04-27T21:22:33.000+10:00
No need to run it twice, running it on the branch is enough,
no need to measure coverage on the merge commit too.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -25,6 +25,7 @@ jobs:
 
   coverage:
     runs-on: ubuntu-latest
+    if: ${{ github.event_name == 'push' }}
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4
