diff --git a/CI/teal_ci.sh b/CI/teal_ci.sh
index cc07577406..5ea312e88c 100755
--- a/CI/teal_ci.sh
+++ b/CI/teal_ci.sh
@@ -1,3 +1,5 @@
+set -e
+
 docs/source/install_luadocumentor_in_docker.sh
 PATH=$PATH:~/luarocks/bin