Commit 7fbea8c0 authored by erwan's avatar erwan
Browse files

ci: one more try to fix it

parent 4bfec692
Pipeline #103071 failed with stages
in 2 minutes and 10 seconds
......@@ -13,7 +13,8 @@ build:
script:
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- opam update
- opam install depext ./lutin.opam ./bddrand.opam ./ezdl.opam ./gbddml.opam ./polka.opam
- sudo apt update
- opam depext lutin
- opam install --deps-only ./lutin.opam ./bddrand.opam ./ezdl.opam ./gbddml.opam ./polka.opam
- make
- make install
......
Supports Markdown
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