From 718f3c7a0f9026e79bb9a79dc6ca48ba5b32c1c0 Mon Sep 17 00:00:00 2001 From: dundargoc Date: Wed, 27 Nov 2024 10:37:00 +0100 Subject: ci: forbid using util.path.sanitize --- .github/ci/run_sanitizer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.github') diff --git a/.github/ci/run_sanitizer.sh b/.github/ci/run_sanitizer.sh index 1f148ba2..07d4723c 100644 --- a/.github/ci/run_sanitizer.sh +++ b/.github/ci/run_sanitizer.sh @@ -15,7 +15,7 @@ if git diff --pickaxe-all -U0 -G "${SEARCH_PATTERN}" "${REF_BRANCH}" "${PR_BRANC exit 1 fi -SEARCH_PATTERN='(util\.path\.dirname)' +SEARCH_PATTERN='(util\.path\.dirname|util\.path\.sanitize)' if git diff --pickaxe-all -U0 -G "${SEARCH_PATTERN}" "${REF_BRANCH}" "${PR_BRANCH}" -- '*.lua' | grep -Ev '\.lua$' | grep -E "^\+.*${SEARCH_PATTERN}" ; then echo -- cgit v1.2.3-70-g09d2