Commit 5e38cc20 authored by hengwen's avatar hengwen

Clean up

parent 3777001e
Pipeline #190124 canceled with stage
in 2 minutes and 57 seconds
......@@ -64,6 +64,9 @@ branchJobLinux:
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
......@@ -80,9 +83,6 @@ 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