derek/gem5
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

util: Add docker prune cron to GitHub runners (#271)

Browse Source 
Issue-on: https://github.com/gem5/gem5/issues/254

This has been implemented in the runners. The regular pruning of the
docker images should fix the issue.
This commit is contained in:
Bobby R. Bruce
2023-09-07 12:06:41 -07:00
committed by GitHub
parent 84e0224e85 0249d47acc
commit 9cdd6093bd
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
util/github-runners-vagrant/provision_nonroot.sh
View File

@@ -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