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