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

util: Add docker prune cron to GitHub runners

Browse Source 
Change-Id: Ic90ebc650b6a89606eaf9e8feafddfe15c44e578
Issue-on: https://github.com/gem5/gem5/issues/254
This commit is contained in:
Bobby R. Bruce
2023-09-05 15:04:57 -07:00
parent e80cde0713
commit 0249d47acc
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