ci: fix

.gitlab-ci.yml

@@ -5,7 +5,7 @@ stages:
 
 
 before_script:
-  - opam repo add verimag-sync-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/test/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
@@ -55,6 +55,7 @@ expe-dockver:
 coloring:
   image: jahierwan/verimag-reactive-toolbox-r
   stage: reproduce
+  before_script:
   script:
     - cd coloring-campaign
     - git clone https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git