Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaurício Meneghini Fauth <mauricio@fauth.dev>2021-06-14 17:53:48 +0300
committerMaurício Meneghini Fauth <mauricio@fauth.dev>2021-06-14 18:41:49 +0300
commit041542d16ba2df8145e648ba78f9eb11c5a7a4a3 (patch)
treeb9112c929d7a76965f13a8cf463cecd8e08b2045 /.github/workflows
parent1ed9ab5dda234dd3ce68939293de891c3da0cda8 (diff)
Use early exit for Core::fatalError method
Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/mutation-tests.yml2
1 files changed, 0 insertions, 2 deletions
diff --git a/.github/workflows/mutation-tests.yml b/.github/workflows/mutation-tests.yml
index 29e10238ac..d356bad2b4 100644
--- a/.github/workflows/mutation-tests.yml
+++ b/.github/workflows/mutation-tests.yml
@@ -72,8 +72,6 @@ jobs:
CHANGED_FILES=$(git diff origin/$GITHUB_BASE_REF --diff-filter=AM --name-only | grep libraries/classes/ | paste -sd "," -);
./build/tools/infection -j$(nproc) --skip-initial-tests --no-interaction --no-progress --coverage=build/logs \
--ignore-msi-with-no-mutations \
- --git-diff-filter=AM \
- --git-diff-base=origin/${{ github.base_ref }}
--filter=$CHANGED_FILES
env:
INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}