diff options
author | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2021-06-14 17:53:48 +0300 |
---|---|---|
committer | Maurício Meneghini Fauth <mauricio@fauth.dev> | 2021-06-14 18:41:49 +0300 |
commit | 041542d16ba2df8145e648ba78f9eb11c5a7a4a3 (patch) | |
tree | b9112c929d7a76965f13a8cf463cecd8e08b2045 /.github/workflows | |
parent | 1ed9ab5dda234dd3ce68939293de891c3da0cda8 (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.yml | 2 |
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 }} |