diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b8459e4b0ba2b21e73f2afb1250f6eea828ab875..308333580a74c63383a8bb3003418ab9524a5f38 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -46,7 +46,7 @@ test_opam_test: - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository" - eval `opam config env` - opam update - - sudo opam depext -y sasa salut lutin rdbgui4sasa || echo "not needed for recent opam version" + - opam depext -y sasa salut lutin rdbgui4sasa || echo "not needed for recent opam version" - opam install -y sasa salut lutin rdbgui4sasa allow_failure: true only: