Simplify docs deploy job

Author: giordano

.github/workflows/Documentation.yml

@@ -37,7 +37,7 @@ jobs:
       - uses: actions/checkout@v6
       - uses: julia-actions/setup-julia@v2
         with:
-          version: "1.12"
+          version: "1"
       - uses: julia-actions/cache@v2
         id: julia-cache
       - name: Instantiate docs environment
@@ -82,18 +82,15 @@ jobs:
       - uses: actions/checkout@v6
       - uses: julia-actions/setup-julia@v2
         with:
-          version: "1.12"
+          version: "1"
       - uses: julia-actions/cache@v2
-        id: julia-cache
+        with:
+          # Steal cache from the build job
+          - cache-name: "julia-cache;workflow=Documentation"
       - uses: actions/download-artifact@v6
         with:
           name: documentation-build
           path: docs/build
-      - name: Remove extra files
-        # There may be JLD2 files generated during execution of Literate
-        # examples, we don't need them on the website.
-        run:
-          rm -fv docs/build/literated/*.jld2
       - name: Instantiate docs environment
         shell: julia --color=yes {0}
         run: |
@@ -107,11 +104,3 @@ jobs:
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
-      - name: Save Julia depot cache on cancel or failure
-        id: julia-cache-save
-        if: cancelled() || failure()
-        uses: actions/cache/save@v4
-        with:
-          path: |
-            ${{ steps.julia-cache.outputs.cache-paths }}
-          key: ${{ steps.julia-cache.outputs.cache-key }}