From 0249d47acc3a87a82c9d7417dba4804cda4a3f4b Mon Sep 17 00:00:00 2001 From: "Bobby R. Bruce" Date: Tue, 5 Sep 2023 15:04:57 -0700 Subject: [PATCH] util: Add docker prune cron to GitHub runners Change-Id: Ic90ebc650b6a89606eaf9e8feafddfe15c44e578 Issue-on: https://github.com/gem5/gem5/issues/254 --- util/github-runners-vagrant/provision_nonroot.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/util/github-runners-vagrant/provision_nonroot.sh b/util/github-runners-vagrant/provision_nonroot.sh index 4465b5a192..2b1e51504e 100644 --- a/util/github-runners-vagrant/provision_nonroot.sh +++ b/util/github-runners-vagrant/provision_nonroot.sh @@ -13,3 +13,7 @@ DOCKER_COMPOSE_VERSION=$(curl -s https://api.github.com/repos/docker/compose/rel mkdir -p "${HOME}/.docker/cli-plugins" curl -sL "https://github.com/docker/compose/releases/download/${DOCKER_COMPOSE_VERSION}/docker-compose-$(uname -s)-$(uname -m)" -o "${HOME}/.docker/cli-plugins/docker-compose" chmod +x "${HOME}/.docker/cli-plugins/docker-compose" + +# Setup crontab to run docker prune every 3 hours +echo "0 */3 * * * docker system prune -af --volumes"> /tmp/cron +crontab /tmp/cron