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

ci: fix

parent 0c054b57
No related branches found
No related tags found
No related merge requests found
Pipeline #105853 failed
......@@ -11,6 +11,7 @@ build:
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
- eval `opam config env`
- sudo apt-get update
- opam install --depext-only ./sasa.opam
- opam install --deps-only ./sasa.opam
- make
- make install
......
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