Fix mutation tests on push (#324)

typhonius · Feb 9, 2023 · 806ded0 · 806ded0
1 parent 628adcb
commit 806ded0
Showing 1 changed file with 9 additions and 3 deletions.
diff --git a/.github/workflows/mt.yml b/.github/workflows/mt.yml
@@ -33,8 +33,14 @@ jobs:
           chmod +x infection.phar
 
       - name: Run Infection for added files only
-        env:
-          INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}
+        if: github.event_name == 'pull_request'
         run: |
           git fetch --depth=1 origin $GITHUB_BASE_REF
-          php infection.phar -j2 --git-diff-filter=A --git-diff-base=origin/$GITHUB_BASE_REF --logger-github --ignore-msi-with-no-mutations --only-covered
+          php infection.phar -j8 --git-diff-filter=A --git-diff-base=origin/$GITHUB_BASE_REF --logger-github --ignore-msi-with-no-mutations --only-covered
+
+      - name: Run Infection for all files
+        if: github.event_name == 'push'
+        env:
+            INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}
+        run: |
+            php infection.phar -j8 --ignore-msi-with-no-mutations --only-covered