diff --git a/scripts/cleanup_docker.sh b/scripts/cleanup_docker.sh new file mode 100644 index 0000000..c359de2 --- /dev/null +++ b/scripts/cleanup_docker.sh @@ -0,0 +1,26 @@ +#!/bin/bash + +# abort at error +set -e + +# If you think docker images might be corrupt, +# or if the runner server needs to cleaned up. + +# house keeping +docker container prune -f +docker image prune -f + +# report +docker image ls +docker container ls + +# cleanup +docker image ls -q | xargs docker image rm -f + +# final report +docker image ls +docker container ls + +#Should have no images except the running docker GHA container + +exit 0