diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46ebdde495f3df5d73cc311ffb8d05a2622517f7..9adfc43c65079abf8d933d25a9e9c7deb6688bd1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,12 +12,13 @@ build:
     - eval `opam config env`
     - sudo apt-get update
     - opam depext sasa rdbgui4sasa kind2 lutin lustre-v6 || echo "not needed for recent opam version"
-    - opam install --deps-only ./sasa.opam ./rdbgui4sasa.opam
+    - opam install --deps-only ./sasa.opam ./salut.opam ./rdbgui4sasa.opam
     - make
     - make install
     - make test
     - cd tools/simca
     - make && make cmxs && make log -j 15 && make pdf
+    - cd ../../salut && make test
   artifacts:
     paths:
       - tools/simca