From 9bdf442f98b5bee580780538f3576cafef330a85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mos=C3=A8=20Giordano?= <mose@gnu.org>
Date: Mon, 9 Mar 2026 20:05:23 +0000
Subject: [PATCH] [CI] Remove manual saving of cache on failure

---
 .github/workflows/Documentation.yml | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index ed818de..fb39a0e 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -39,7 +39,6 @@ jobs:
         with:
           version: "1"
       - uses: julia-actions/cache@v3
-        id: julia-cache
         with:
           cache-name: Documentation
       - name: Instantiate docs environment
@@ -54,14 +53,6 @@ jobs:
           julia --color=yes --project=docs --check-bounds=yes docs/make.jl
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      - name: Save Julia depot cache on cancel or failure
-        id: julia-cache-save
-        if: cancelled() || failure()
-        uses: actions/cache/save@v5
-        with:
-          path: |
-            ${{ steps.julia-cache.outputs.cache-paths }}
-          key: ${{ steps.julia-cache.outputs.cache-key }}
       - uses: actions/upload-artifact@v7
         with:
           name: documentation-build