Run pitest workflow on dependabot-pitest branches, but don't overwrit…

…e reports

.github/workflows/coverage.yml

@@ -3,7 +3,9 @@ name: Test coverage
 
 on:
   push:
-    branches: [main]
+    branches:
+      - main
+      - dependabot/gradle/info.solidsoft.gradle.pitest-gradle-pitest-plugin-*
 
 jobs:
   test:
@@ -48,11 +50,13 @@ jobs:
       # This creates a file that defines a [Shields.io endpoint badge](https://shields.io/endpoint)
       # which we can then include in the project README.
       uses: ./.github/actions/pit-results-badge
+      if: github.ref_name == 'main'
       with:
         output-file: build/gh-pages/coverage-badge.json
 
     - name: Check out GitHub Pages branch
       uses: actions/checkout@v4
+      if: github.ref_name == 'main'
       with:
         ref: gh-pages
         clean: false
@@ -69,6 +73,7 @@ jobs:
         prev-mutations-file: prev-mutations.xml
 
     - name: Push to GitHub Pages
+      if: github.ref_name == 'main'
       run: |
         git config user.name github-actions
         git config user.email [email protected]