diff --git a/.github/workflows/check_pylint_diff.sh b/.github/workflows/check_pylint_diff.sh index 2f78bbdf2e2..b53aae6eba0 100755 --- a/.github/workflows/check_pylint_diff.sh +++ b/.github/workflows/check_pylint_diff.sh @@ -127,7 +127,7 @@ Number_of_issues () cached="$1" { cat "$cached" 2>/dev/null || echo "$CHANGED_FILES" | - xargs "$PYLINT" $PYLINT_ARGS | + xargs "$PYLINT" "$PYLINT_ARGS" | tee "$cached" } | awk -F'[\\. ]' '/^Your code has been rated at /{ print $7 }' || true }