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