[gitlab-ci] Remove docker images after use

This commit is contained in:
Matthias Hochsteger 2019-09-28 11:21:40 +02:00
parent 28d05d9ae7
commit 940084e250

View File

@ -195,6 +195,10 @@ cleanup_ubuntu:
# remove intermediate and old docker images and containers # remove intermediate and old docker images and containers
- docker rm -f `docker ps --no-trunc -aq` - docker rm -f `docker ps --no-trunc -aq`
- docker images --no-trunc -aqf "dangling=true" | xargs docker rmi -f || true - docker images --no-trunc -aqf "dangling=true" | xargs docker rmi -f || true
- docker rmi -f netgen_${CI_PIPELINE_ID}:${UBUNTU_VERSION} || true
- docker rmi -f netgen_${CI_PIPELINE_ID}_installed:${UBUNTU_VERSION} || true
- docker rmi -f netgen_mpi_${CI_PIPELINE_ID}:${UBUNTU_VERSION} || true
- docker rmi -f netgen_mpi_${CI_PIPELINE_ID}_installed:${UBUNTU_VERSION} || true
when: always when: always
allow_failure: true allow_failure: true