Commit 3777001e authored by hengwen's avatar hengwen

Clean up

parent 5cb3108e
Pipeline #190123 canceled with stage
in 23 seconds
......@@ -80,6 +80,9 @@ masterJobLinux:
before_script:
- docker login -u $CI_REGISTRY_USER -p $CI_REGISTRY_PASSWORD $CI_REGISTRY
script:
# cleanup
- docker rm $(docker ps -qa --no-trunc --filter "status=exited")
- docker rmi $(docker images | grep "none" | awk '/ / { print $3 }')
# pull the latest RMIServer image
- docker pull registry.git.rwth-aachen.de/monticore/embeddedmontiarc/simulators/rmimodelserver:latest
- cd docker
......
Markdown is supported
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