diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 33c39e92215cdb4d7cfbd64facbf8fc7eca30657..b6f4b1203fdbf98e68a98c4058d7d774f18f56a4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -40,8 +40,8 @@ test_opam_test: script: - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository" - eval `opam config env` - - sudo opam depext -y sasa lutin || echo "not needed for recent opam version" - - opam install -y sasa lutin + - sudo opam depext -y sasa lutin rdbgui4sasa || echo "not needed for recent opam version" + - opam install -y sasa lutin rdbgui4sasa allow_failure: true only: - master