diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/ci/run_sanitizer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ci/run_sanitizer.sh b/.github/ci/run_sanitizer.sh index 4098d8a7..8630de3f 100644 --- a/.github/ci/run_sanitizer.sh +++ b/.github/ci/run_sanitizer.sh @@ -5,7 +5,7 @@ REF_BRANCH="$1" PR_BRANCH="$2" # checks for added lines that contain search pattern and prints them -SEARCH_PATTERN="(dirname|fn\.cwd)" +SEARCH_PATTERN="(path\.dirname|fn\.cwd)" if git diff --pickaxe-all -U0 -G "${SEARCH_PATTERN}" "${REF_BRANCH}" "${PR_BRANCH}" -- '*.lua' | grep -Ev '(configs|utils)\.lua$' | grep -E "^\+.*${SEARCH_PATTERN}" ; then echo |