From c128039033d3bbda7507a693a0f97e70fd502f73 Mon Sep 17 00:00:00 2001
From: Alessandro Sebastiani <sebbalex@users.noreply.github.com>
Date: Wed, 12 Feb 2025 10:54:35 +0100
Subject: [PATCH] fix: applied josh's suggestions

---
 tips-and-workarounds.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/tips-and-workarounds.md b/tips-and-workarounds.md
index 5218f7e..382af7b 100644
--- a/tips-and-workarounds.md
+++ b/tips-and-workarounds.md
@@ -48,10 +48,16 @@ on:
   pull_request:
     types:
       - closed
+  workflow_dispatch:
 
 jobs:
   cleanup:
     runs-on: ubuntu-latest
+    permissions:
+      # `actions:write` permission is required to delete caches
+      #   See also: https://docs.github.com/en/rest/actions/cache?apiVersion=2022-11-28#delete-a-github-actions-cache-for-a-repository-using-a-cache-id
+      actions: write
+      contents: read
     steps:
       - name: Cleanup
         run: |
@@ -70,10 +76,6 @@ jobs:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           GH_REPO: ${{ github.repository }}
           BRANCH: refs/pull/${{ github.event.pull_request.number }}/merge
-          done
-          echo "Done"
-        env:
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 ```
 
 </details>