Commit 93b3f3e0 authored by erwan's avatar erwan
Browse files

ci: use the test opam repo for expe current only

parent c64913d0
Pipeline #72124 passed with stages
in 143 minutes and 39 seconds
......@@ -5,7 +5,7 @@ stages:
before_script:
- opam repo add verimag-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- opam repo add verimag-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
- sudo apt-get update && sudo apt-get install -y zathura graphviz bc time
# Specify the packages version numbers so that it (hopefully) never
......@@ -29,6 +29,9 @@ expe-sasa.4.0.3:
expe-current:
image: ocaml/opam2:ubuntu-18.04
stage: test
before_script:
- opam repo add verimag-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
- sudo apt-get update && sudo apt-get install -y zathura graphviz bc time
script:
- opam depext -y sasa
- opam install -y sasa
......
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