update docs in CI.yml 2

Author: itsdfish

.github/workflows/CI.yml

@@ -44,42 +44,4 @@ jobs:
         with:
           token: ${{ secrets.CODECOV_TOKEN }} # required
           fail_ci_if_error: true
-          files: lcov.info
-  docs:
-    name: Documentation
-
-    on:
-      push:
-        branches:
-          - master # update to match your development branch (master, main, dev, trunk, ...)
-        tags: '*'
-      pull_request:
-
-    jobs:
-      build:
-        # These permissions are needed to:
-        # - Deploy the documentation: https://documenter.juliadocs.org/stable/man/hosting/#Permissions
-        # - Delete old caches: https://github.com/julia-actions/cache#usage
-        permissions:
-          actions: write
-          contents: write
-          pull-requests: read
-          statuses: write
-        runs-on: ubuntu-latest
-        steps:
-          - uses: actions/checkout@v4
-          - uses: julia-actions/setup-julia@v2
-            with:
-              version: '1'
-          - uses: julia-actions/cache@v2
-          - name: Install dependencies
-            shell: julia --color=yes --project=docs {0}
-            run: |
-              using Pkg
-              Pkg.develop(PackageSpec(path=pwd()))
-              Pkg.instantiate()
-          - name: Build and deploy
-            run: julia --color=yes --project=docs docs/make.jl
-            env:
-              GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
-              DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
+          files: lcov.info

.github/workflows/documentation.yml

@@ -0,0 +1,37 @@
+name: Documentation
+
+on:
+  push:
+    branches:
+      - master # update to match your development branch (master, main, dev, trunk, ...)
+    tags: '*'
+  pull_request:
+
+jobs:
+  build:
+    # These permissions are needed to:
+    # - Deploy the documentation: https://documenter.juliadocs.org/stable/man/hosting/#Permissions
+    # - Delete old caches: https://github.com/julia-actions/cache#usage
+    permissions:
+      actions: write
+      contents: write
+      pull-requests: read
+      statuses: write
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v2
+        with:
+          version: '1.11'
+      - uses: julia-actions/cache@v2
+      - name: Install dependencies
+        shell: julia --color=yes --project=docs {0}
+        run: |
+          using Pkg
+          Pkg.develop(PackageSpec(path=pwd()))
+          Pkg.instantiate()
+      - name: Build and deploy
+        run: julia --color=yes --project=docs docs/make.jl
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
+          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key