From 09704407f271ba0bc214b36f6b92ee32255163ce Mon Sep 17 00:00:00 2001
From: Adrien Bourmault <neox@a-lec.org>
Date: Sat, 13 Aug 2022 21:29:10 +0000
Subject: [PATCH] Update .gitlab-ci.yml file

---
 .gitlab-ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6abe657..5ea067c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -49,6 +49,9 @@ deploiement:      # This job runs in the deploy stage.
       for file in $files
       do
         echo "Construction de $file"
+        stl check $file -F &> /dev/null
+        stl check $file -F &> /dev/null
+        stl check $file -F &> /dev/null
         stl log clean
         stl wip $file | grep Err && errors=$((errors+1)) # error if err is read in standard output
       done