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

CI: do not add the 1.2 opam repo

parent 865bd847
No related merge requests found
Pipeline #32796 failed
Stage: build
    Stage: deploy
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 0 additions and 1 deletion
      .gitlab-ci.yml
      + 0
      − 1
      View file @ 79b44bd6
      ......@@ -8,7 +8,6 @@ stages:
      test:
      stage: build
      script:
      - opam repo add opamorg "https://opam.ocaml.org/1.2.2"
      - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
      - eval `opam config env`
      - opam depext -y lustre-v6 lutin
      ......
      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