diff --git a/.github/workflows/clean_caches.yml b/.github/workflows/clean_caches.yml deleted file mode 100644 index 588a9c178..000000000 --- a/.github/workflows/clean_caches.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Cleanup caches on closed pull requests -on: - pull_request: - types: - - closed - -jobs: - cleanup: - runs-on: ubuntu-latest - permissions: - actions: write - contents: read - steps: - - name: Cleanup caches - run: | - echo "Fetching list of cache keys" - cacheKeysForPR=$(gh cache list --ref $BRANCH --limit 100 --json id --jq '.[].id') - - ## Setting this to not fail the workflow while deleting cache keys. - set +e - echo "Deleting caches..." - for cacheKey in $cacheKeysForPR - do - gh cache delete $cacheKey - done - echo "Done" - env: - GH_TOKEN: ${{ github.token }} - GH_REPO: ${{ github.repository }} - BRANCH: refs/pull/${{ github.event.pull_request.number }}/merge