Commit 624bdc88 authored by erwan's avatar erwan
Browse files

build: do not add the ocaml repo


Signed-off-by: erwan's avatarerwan <erwan.jahier@univ-grenoble-alpes.fr>
parent b5404e25
Pipeline #71453 passed with stages
in 3 minutes and 58 seconds
...@@ -11,7 +11,6 @@ stages: ...@@ -11,7 +11,6 @@ stages:
build: build:
stage: build stage: build
script: script:
- opam repo add opam-ocaml-org "https://opam.ocaml.org"
- 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"
- opam update - opam update
- opam depext -y dune mlgmpidl lustre-v6 - opam depext -y dune mlgmpidl lustre-v6
...@@ -23,7 +22,6 @@ test_opam_test: ...@@ -23,7 +22,6 @@ test_opam_test:
stage: test stage: test
script: script:
- sudo apt-get install -y m4 - sudo apt-get install -y m4
- opam repo add opam-ocaml-org "https://opam.ocaml.org"
- 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"
- opam update - opam update
- opam depext -y lutin - opam depext -y lutin
......
Markdown is supported
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