From d97b8b365ef3e02213f3be80cab37ce1249b8f49 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Sun, 22 Mar 2020 10:38:31 -0400 Subject: [PATCH] CI: check file encoding closes #8076 --- contrib/utilities/check_indentation.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh index f2a353ef91..ad8207b77e 100755 --- a/contrib/utilities/check_indentation.sh +++ b/contrib/utilities/check_indentation.sh @@ -43,5 +43,8 @@ git diff-files --quiet || exit $? # Run various checks involving doxygen documentation: ./contrib/utilities/check_doxygen.sh || exit $? +# Check for utf8 encoding: +./contrib/utilities/check_encoding.py || exit $? + # Success! exit 0 -- 2.39.5