ci: the verimag tools image is now hosted @gitlab/gricad

.gitlab-ci.yml

@@ -24,7 +24,7 @@ build:
       - tools/simca
 
 simca-docker:
-  image: jahierwan/verimag-reactive-toolbox
+  image: gricad-registry.univ-grenoble-alpes.fr/verimag/synchrone/tools-distrib/verimag-reactive-toolbox
   stage: release
   script:
     - cd tools/simca
@@ -62,7 +62,7 @@ release:
 
 
 pages:
-  image: jahierwan/verimag-reactive-toolbox
+  image: gricad-registry.univ-grenoble-alpes.fr/verimag/synchrone/tools-distrib/verimag-reactive-toolbox
   stage: deploy
   script:
     - make odoc