Wclaer/resync site

.github/workflows/ExportNotebooks.yml

@@ -8,12 +8,13 @@ on:
             - main
     workflow_dispatch:
 concurrency:
-    group: export
+    group: export-${{ github.ref }}
     cancel-in-progress: true
 
 jobs:
     build-and-deploy:
         runs-on: ubuntu-latest
+        timeout-minutes: 360
         steps:
             - name: Checkout source
               uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
@@ -23,23 +24,17 @@ jobs:
               with:
                   version: "1.11.2"
 
-            - name: ⏱ Cache notebook states
-              uses: actions/cache@1bd1e32a3bdc45362d1e726936510720a7c30a57 # v4.2.0
-              with:
-                path: _cache
-                key: ${{ runner.os }}-pluto_state_cache-v3-${{ hashFiles('**/Project.toml', '**/Manifest.toml') }}-${{ github.run_id }}
-                restore-keys: |
-                    ${{ runner.os }}-pluto_state_cache-v3-${{ hashFiles('**/Project.toml', '**/Manifest.toml') }}
-
             - name: ⏱ Cache .julia
               uses: actions/cache@1bd1e32a3bdc45362d1e726936510720a7c30a57 # v4.2.0
               with:
                 path: ~/.julia
-                key: ${{ runner.os }}-dotjulia-v1-${{ hashFiles('**/Project.toml', '**/Manifest.toml') }}-${{ github.run_id }}
+                key: ${{ runner.os }}-dotjulia-v1-${{ hashFiles('pluto-deployment-environment/*.toml') }}-${{ github.run_id }}
                 restore-keys: |
-                    ${{ runner.os }}-dotjulia-v1-${{ hashFiles('**/Project.toml', '**/Manifest.toml') }}
+                    ${{ runner.os }}-dotjulia-v1-${{ hashFiles('pluto-deployment-environment/*.toml') }}
 
             - name: 🪴 Generate site
+              env:
+                GKSwstype: "100"
               run: julia --project=pluto-deployment-environment -e '
                   import Pkg;
                   Pkg.instantiate();
@@ -70,4 +65,4 @@ jobs:
                   token: ${{ secrets.GITHUB_TOKEN }}
                   branch: gh-pages
                   folder: _site
-                  target-folder: "previews/PR${{ github.event.number }}" # The website preview is going to be stored in the previews subfolder
+                  target-folder: "previews/PR${{ github.event.number }}" # The website preview is going to be stored in the previews subfolder