test10
Some checks failed
Check for disallowed chars / unicode-check (pull_request) Failing after 1m45s

This commit is contained in:
Paolo Asperti 2024-08-05 21:12:56 +02:00
parent 76745b8e15
commit 010213234f
Signed by: paspo
GPG Key ID: 06D46905D19D5182

View File

@ -18,10 +18,8 @@ jobs:
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=$(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]' )
echo "modifiche: $modifiche"
echo "num: $num"
exit 0
if [ $num -gt 0 ] ; then exit 1 ; else echo "ok" ; done