bugfix gh pages script

Author: SKopecz

.github/workflows/pluto-to-gh-pages.yml

@@ -1,6 +1,4 @@
-# Build & deploy Pluto notebooks to GitHub Pages
 name: Build & deploy Pluto notebooks
-
 on:
   push:
     branches: [ main ]
@@ -22,18 +20,17 @@ jobs:
       - name: Setup Julia
         uses: julia-actions/setup-julia@v1
         with:
-          version: '1.9' # change if you need a different Julia release
+          version: '1.11.4'
 
       - name: Restore project (if Project.toml exists)
         run: |
           if [ -f Project.toml ]; then
-            julia -e 'import Pkg; Pkg.activate("."); Pkg.instantiate()'
+            julia --project=. -e 'import Pkg; Pkg.instantiate(); Pkg.precompile()'
           else
             echo "No Project.toml found — workflow will install exporter package temporarily."
           fi
 
       - name: Export Pluto notebooks to HTML
-        # runs the export script (scripts/export_pluto.jl)
         run: julia --project=. scripts/export_pluto.jl
 
       - name: Deploy to GitHub Pages
@@ -42,5 +39,4 @@ jobs:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./public
           publish_branch: gh-pages
-          # optional: set a specific commit message
           commit_message: 'Deploy Pluto HTML via GitHub Actions'