From f785a3e0951aeea93bc4755789cdb8bd9e1a4ab4 Mon Sep 17 00:00:00 2001
From: Orjan Ameye <orjan.ameye@hotmail.com>
Date: Thu, 25 Jun 2026 14:42:50 +0200
Subject: [PATCH] build(ci):  proactively delete old caches

---
 .github/workflows/Documenter.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
index 5f71bd7..b70b454 100644
--- a/.github/workflows/Documenter.yml
+++ b/.github/workflows/Documenter.yml
@@ -17,6 +17,7 @@ on:
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions:
+  actions: write  # needed to allow julia-actions/cache to proactively delete old caches that it has created
   contents: write
   pages: write
   id-token: write