From 006812c0f598fe56bacc34643f4a6848484cca7a Mon Sep 17 00:00:00 2001
From: SundaraRaman R <digital_carver@proton.me>
Date: Fri, 7 Feb 2025 12:07:02 +0530
Subject: [PATCH 1/3] grant write perms in yml for doc deployment

---
 .github/workflows/Documentation.yml | 46 ++++++++++++++++-------------
 1 file changed, 25 insertions(+), 21 deletions(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index b1ace93..67172ec 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -1,21 +1,25 @@
-name: Documentation
-on:
-  push:
-    branches:
-      - master
-    tags: '*'
-  pull_request:
-jobs:
-  build:
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: julia-actions/setup-julia@latest
-        with:
-          version: '1.9'
-      - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
-      - name: Build and deploy
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
-        run: julia --project=docs/ docs/make.jl
\ No newline at end of file
+name: Documentation
+on:
+  push:
+    branches:
+      - master
+    tags: '*'
+  pull_request:
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: julia-actions/setup-julia@latest
+        with:
+          version: '1.9'
+      - name: Install dependencies
+        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
+      - name: Build and deploy
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
+        run: julia --project=docs/ docs/make.jl
+permissions:
+  contents: write  # Required for authenticating with `GITHUB_TOKEN`
+  pull-requests: read  # Required for `push_preview=true`
+  statuses: write  # Optional, used to report documentation build statuses
\ No newline at end of file

From 1084c33c00ec0bdbe62451cbc6667ba98e72353d Mon Sep 17 00:00:00 2001
From: SundaraRaman R <digital_carver@proton.me>
Date: Fri, 7 Feb 2025 12:07:45 +0530
Subject: [PATCH 2/3] fix branch name master -> main

---
 .github/workflows/Documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 67172ec..5554dde 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -2,7 +2,7 @@ name: Documentation
 on:
   push:
     branches:
-      - master
+      - main
     tags: '*'
   pull_request:
 jobs:

From 9fcfb4fbc70a06b4ce5c63082e46f502ae6dbc5c Mon Sep 17 00:00:00 2001
From: SundaraRaman R <digital_carver@proton.me>
Date: Fri, 7 Feb 2025 12:08:08 +0530
Subject: [PATCH 3/3] use julia v1.11 to build docs

---
 .github/workflows/Documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml
index 5554dde..e90ee1e 100644
--- a/.github/workflows/Documentation.yml
+++ b/.github/workflows/Documentation.yml
@@ -12,7 +12,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: julia-actions/setup-julia@latest
         with:
-          version: '1.9'
+          version: '1.11'
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy