Remove unused cudatoolkit sections

.github/workflows/website.yaml

@@ -4,6 +4,11 @@ on:
   push:
     branches:
       - main
+  pull_request:
+    branches:
+      - main
+    types:
+      - closed
 
 
 permissions:
@@ -21,34 +26,29 @@ jobs:
       pages: write
 
     steps:
-      # Fetch CUDA toolkit using Jimver/cuda-toolkit
-      - name: Fetch CUDA toolkit
-        uses: Jimver/cuda-toolkit@master
-        id: cuda-toolkit
-        with:
-          cuda: '12.8.1'
-          use-local-cache: false
-
-      - name: Check nvcc version
-        run: nvcc -V
 
       - uses: actions/checkout@v4
 
       - name: Set up Python
-        uses: actions/setup-python@v5
+        uses: actions/setup-python@v6
         with:
-          python-version: '3.11'
+          python-version: '3.12'
 
       - name: Install development and distributions version
         run: |
           pip install --upgrade pip
           git submodule update --init --recursive
-          pip install .[docs]
+          pip install ".[docs]"
 
-      - name: Setup pandoc
-        uses: siacodelabs/setup-pandoc@v1
-        with:
-          xelatex: true.
+      # - name: Setup pandoc
+      #   uses: siacodelabs/setup-pandoc@v1
+      #   with:
+      #     xelatex: true
+      - name: Install pandoc
+        uses: pandoc/actions/setup@v1
+
+      - name: Run pandoc
+        run: pandoc --version
 
       # didn't need to change anything here, but had to add sphinx.ext.githubpages
       # to my conf.py extensions list. that fixes the broken uploads
@@ -60,8 +60,13 @@ jobs:
       # still need to build and set the PAT to get a rebuild on the pages job,
       # apart from that quite clean and nice
       - name: GitHub Pages Action
-        #if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
-        uses: peaceiris/actions-gh-pages@v3
+        if: |
+          (github.event_name == 'push' && github.ref == 'refs/heads/main') ||
+          (github.event_name == 'pull_request' &&
+           github.event.action == 'closed' &&
+           github.event.pull_request.merged == true &&
+           github.event.pull_request.base.ref == 'main')
+        uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./doc/_build/html