Skip to content
Snippets Groups Projects
Commit 8611eb1b authored by erwan's avatar erwan
Browse files

ci: fix the opem test rule (wrt opam depext)

parent 4c94d4dd
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
.gitlab-ci.yml
+ 1
− 1
View file @ 8611eb1b
...@@ -39,7 +39,7 @@ test_opam_test: ...@@ -39,7 +39,7 @@ test_opam_test:
script: script:
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository" - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- eval `opam config env` - eval `opam config env`
- sudo opam depext -y sasa - sudo opam depext -y sasa || echo "not needed for recent opam version"
- opam install -y sasa - opam install -y sasa
allow_failure: true allow_failure: true
only: only:
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment