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

Fix: change the image for the CI

parent d24e29cf
No related branches found
No related tags found
No related merge requests found
Pipeline #21283 failed
Stage: build
    Stage: release
      Hide whitespace changes
      Inline Side-by-side
      .gitlab-ci.yml
      + 2
      − 1
      View file @ 80860c4d
      image: ocaml/opam2
      image: ubuntu-16.04_ocaml-4.06.0
      stages:
      - build
      ......@@ -10,6 +10,7 @@ test:
      - 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"
      - opam update -y
      - opam switch 4.07.0
      - opam depext -y lustre-v6 lutin
      - opam install -y dune ocamlgraph lutin
      - make
      ......
      lib/sasacore/dune-project 0 → 100644
      + 1
      − 0
      View file @ 80860c4d
      (lang dune 1.2)
      lib/sasalib/dune-project 0 → 100644
      + 1
      − 0
      View file @ 80860c4d
      (lang dune 1.2)
      src/dune-project 0 → 100644
      + 1
      − 0
      View file @ 80860c4d
      (lang dune 1.2)
      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