chore: Delete pull request caches on close

twpayne · Nov 8, 2024 · d242b25 · d242b25
1 parent 6916263
commit d242b25
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/clear-pr-caches.yml b/.github/workflows/clear-pr-caches.yml
@@ -0,0 +1,12 @@
+on:
+  pull_request:
+    types: [ closed ]
+
+jobs:
+  clear-caches:
+    runs-on: ubuntu-22.04
+    steps:
+      - name: clear-caches
+        uses: theAngularGuy/clear-cache-of-pull-request@60c83956d63c7b3745d6cde10d711aa0e50c2501
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}