Optimization

.gitlab-ci.yml

@@ -64,6 +64,10 @@ branchJobLinux:
   before_script:
     - docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
   script:
+    # clean up
+    - docker rmi montisim-server-builder
+    - docker rmi rpc-server
+    - docker rmi restful-server
     # pull the latest RMIServer image
     - docker pull registry.git.rwth-aachen.de/monticore/embeddedmontiarc/simulators/rmimodelserver:latest
     - cd docker

docker/build.sh

@@ -2,8 +2,6 @@
 
 CURR_DIR=$(pwd)
 
-docker rmi montisim-server-builder
-
 cd ..
 docker build -f "${CURR_DIR}/Dockerfile" -t montisim-server-builder .