Skip to content
Snippets Groups Projects
Commit 0791b97b authored by erwan's avatar erwan
Browse files

ci: really fix!

parent fc250991
No related branches found
No related tags found
No related merge requests found
Pipeline #113782 passed
......@@ -36,7 +36,7 @@ test_opam_test:
script:
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- sudo opam update
- apt-get update
- sudo apt-get update
- opam depext lustre-v6 || echo "not needed for recent opam version"
- opam install -y lustre-v6
- lv6 -help
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment