Skip to content

Garbage collect github CI cache #4072

Garbage collect github CI cache

Garbage collect github CI cache #4072

name: Garbage collect github CI cache
# Run every hour
on:
workflow_dispatch:
schedule:
- cron: 0 * * * *
permissions:
actions: write
jobs:
run-script:
strategy:
matrix:
key_prefix: [ccache-short-clang-Release-ON-ON, sccache-windows-2022-cl-cl-release-OFF-ON-ON]
name: Garbage collect cache
runs-on: ubuntu-latest
steps:
- name: Get CIRCT
# Clone the CIRCT repo and its submodules. Do shallow clone to save clone
# time.
uses: actions/checkout@v3
with:
fetch-depth: 2
submodules: "false"
- name: Set git safe
run: |
git config --global --add safe.directory $PWD
- name: Check cache and remove
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
# Keep top 3 caches (in the case LLVM bump involved)
gh cache list -k ${{ matrix.key_prefix }} -L 50
gh cache list -k ${{ matrix.key_prefix }} -L 50 --jq ".[3:]|.[].id" --json id | ./utils/delete-cache.sh