From 750a546faf94b25d878a912f106d65b1d5ae5c28 Mon Sep 17 00:00:00 2001
From: Alejandro Celaya <alejandrocelaya@gmail.com>
Date: Sun, 14 Aug 2022 13:18:29 +0200
Subject: [PATCH] Disabled mutation tests filtering until it properly works

---
 .github/workflows/ci-mutation-tests.yml | 16 +++++++++-------
 1 file changed, 9 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/ci-mutation-tests.yml b/.github/workflows/ci-mutation-tests.yml
index f152ed15..337894e2 100644
--- a/.github/workflows/ci-mutation-tests.yml
+++ b/.github/workflows/ci-mutation-tests.yml
@@ -26,13 +26,15 @@ jobs:
           path: build
       - name: Resolve infection args
         id: infection_args
-        run: |
-          BRANCH="${GITHUB_REF#refs/heads/}" |
-          if [[ $BRANCH == 'main' || $BRANCH == 'develop' ]]; then
-            echo "::set-output name=args::--logger-github=false"
-          else
-            echo "::set-output name=args::--logger-github=false --git-diff-lines --git-diff-base=develop"
-          fi;
+        run: echo "::set-output name=args::--logger-github=false"
+#        TODO Try to filter mutation tests to improve execution times. Investigate why --git-diff-lines --git-diff-base=develop does not work
+#        run: |
+#          BRANCH="${GITHUB_REF#refs/heads/}" |
+#          if [[ $BRANCH == 'main' || $BRANCH == 'develop' ]]; then
+#            echo "::set-output name=args::--logger-github=false"
+#          else
+#            echo "::set-output name=args::--logger-github=false --git-diff-lines --git-diff-base=develop"
+#          fi;
         shell: bash
       - if: ${{ inputs.test-group == 'unit' }}
         run: composer infect:ci:unit -- ${{ steps.infection_args.outputs.args }}