Merge branch 'feature/change_deploy_version' into 'main'

change the deploy version target to y2

See merge request piacere/private/t41-doml-model-checker!6

.gitlab-ci.yml

@@ -94,7 +94,7 @@ deploy-dmc:
   stage: deploy
   image: $DOCKER_IMAGE
   only:
-    - y1
+    - y2
   services:
     - $DOCKER_DIND_IMAGE
   before_script: