From 39ca1cbeb12ff833b76ef0c2816ce2bce41cb0e9 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 5 Sep 2022 11:26:05 +0200
Subject: [PATCH] ci: add salut non-reg tests
---
.gitlab-ci.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 46ebdde4..9adfc43c 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
--
GitLab