CI: check file encoding

closes #8076

diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh
index f2a353ef91d048c359a7df3094ba91e590aa127d..ad8207b77e229672b89ddfaebb4a6e13fa4f3ee1 100755 (executable)
--- 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