From e939b91847bd493947953be0b334cdecea1cd3e7 Mon Sep 17 00:00:00 2001 From: mrbean-bremen Date: Tue, 4 Nov 2025 16:39:38 +0100 Subject: [PATCH] Remove clean cache workflow - couldn't get it to work due to permission issues --- .github/workflows/clean_caches.yml | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 .github/workflows/clean_caches.yml 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