remove HISTORY.md from spellcheck

bancaditalia · Oct 19, 2023 · 1904002 · 1904002
1 parent 714b2a7
commit 1904002
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/spell-check.sh b/scripts/spell-check.sh
@@ -43,7 +43,7 @@ fi
 
 echo "Found 'mdspell' executable at ${MDSPELL_PATH}"
 
-mdspell_ignore_strings_args=('!docs/losses.md' '!docs/calibrator.md' '!docs/samplers.md' '!docs/search_space.md')
+mdspell_ignore_strings_args=('!docs/losses.md' '!docs/calibrator.md' '!docs/samplers.md' '!docs/search_space.md' '!HISTORY.md')
 if [ $# == 0 ] || [ $# -gt 1 ] || { [ $# == 1 ] && { [ "$1" == "-h" ] || [ "$1" == "--help" ]; }; }; then
   echo "${USAGE}"
   exit 1