From d4d2112b06188f4e5f695f698e1a334a4a5c3c80 Mon Sep 17 00:00:00 2001
From: uramer <antonuramer@gmail.com>
Date: Sat, 8 Jul 2023 18:44:15 +0200
Subject: [PATCH] Fail Teal generation on any error

---
 CI/teal_ci.sh | 2 ++
 1 file changed, 2 insertions(+)

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