CI: cleanup docker images

.gitlab-ci.yml

@@ -74,6 +74,8 @@ build_tarball:
     - cid=`docker create $img`
     - docker cp ${cid}:build build
     - docker rm -v $cid
+    - docker rmi $img -f
+    - docker image prune -f
     - name=`echo $BASE | grep -o ":.*" | sed s/://`
     - aptly repo create $name || true
     - for f in `ls build/python3-graph-tool*.deb`; do nf=`echo $f | sed s/.deb/_${name}_${MARCH}.deb/`; mv $f $nf; aptly repo add $name $nf || true; done
@@ -410,6 +412,8 @@ build_docker:
     - docker push docker.io/tiagopeixoto/graph-tool:$CI_COMMIT_TAG
     - docker tag tiagopeixoto/graph-tool:$CI_COMMIT_TAG docker.io/tiagopeixoto/graph-tool:latest
     - docker push docker.io/tiagopeixoto/graph-tool:latest
+    - docker rmi docker.io/tiagopeixoto/graph-tool -f
+    - docker image prune -f
   only:
     - tags
 
@@ -424,5 +428,7 @@ build_docker_git:
     - docker push docker.io/tiagopeixoto/graph-tool-git:$CI_COMMIT_SHA
     - docker tag tiagopeixoto/graph-tool-git:$CI_COMMIT_SHA docker.io/tiagopeixoto/graph-tool-git:latest
     - docker push docker.io/tiagopeixoto/graph-tool-git:latest
+    - docker rmi docker.io/tiagopeixoto/graph-tool-git -f
+    - docker image prune -f
   except:
     - tags