test12
Some checks failed
Check for disallowed chars / unicode-check (pull_request) Failing after 2m11s

This commit is contained in:
Paolo Asperti 2024-08-05 21:32:12 +02:00
parent b5ccbb7053
commit 990269feda
Signed by: paspo
GPG Key ID: 06D46905D19D5182

View File

@ -15,10 +15,11 @@ jobs:
fetch-depth: 0 fetch-depth: 0
- name: Check for disallowed chars - name: Check for disallowed chars
shell: bash
run: | run: |
set -x set -x
num=$(git diff --unified=0 ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} content/ | grep -E "^[+]" | grep -Ev '^(--- a/|\+\+\+ b/)' | grep -c -e '[\u2014]' -e '[\u2018]' -e '[\u2019]' -e '[\u201C]' -e '[\u201D]' -e '[\u2026]' ) num=$(git diff --unified=0 ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} content/ | grep -E "^[+]" | grep -Ev '^(--- a/|\+\+\+ b/)' | grep -c -e '[\u2014]' -e '[\u2018]' -e '[\u2019]' -e '[\u201C]' -e '[\u201D]' -e '[\u2026]' )
if (( $num -gt 0 )) ; then if [ "$num" = "0" )) ; then
exit 0
else
exit 1 exit 1
fi fi