mirror of
https://github.com/shlinkio/shlink.git
synced 2025-02-16 18:24:56 -06:00
Disabled mutation tests filtering until it properly works
This commit is contained in:
parent
a41835573b
commit
750a546faf
16
.github/workflows/ci-mutation-tests.yml
vendored
16
.github/workflows/ci-mutation-tests.yml
vendored
@ -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 }}
|
||||
|
Loading…
Reference in New Issue
Block a user