github: Updated the website deployment actions to fix an issue that's…

… cropped up with a recent update to `ubuntu-latest`

.github/workflows/website.yml

@@ -10,32 +10,40 @@ jobs:
     name: 'build gh-pages'
     runs-on: ubuntu-latest
     steps:
+      # Get a Python suitable for our usage
       - name: Setup Python
         uses: actions/setup-python@v3
         with:
-          python-version: '3.10'
+          python-version: '3.11'
+      # Make sure the GHA environment is sane
       - name: Setup Environment
         shell: bash
         env:
           WORKSPACE: ${{ github.workspace }}
         run: |
           echo "$HOME/.local/bin:$PATH" >> $GITHUB_PATH
           echo "GITHUB_WORKSPACE=\"`pwd`\"" >> $GITHUB_ENV
+      # Grab the website repo
       - name: Checkout Black Magic Debug Website Repo
         uses: actions/checkout@v3
         with:
           lfs: true
           submodules: true
+      # Update the host environment and make a venv for building the site
       - name: Setup Sphinx
         shell: bash
         run: |
           sudo apt-get update
-          sudo apt-get install graphviz
-          sudo pip3 install -U pip setuptools wheel
-          pip3 install --user -r requirements.txt
+          sudo apt-get install graphviz python3-virtualenv
+          virtualenv .env
+          . .env/bin/activate
+          pip3 install -U pip setuptools wheel
+          pip3 install -r requirements.txt
+      # Now build the website
       - name: Build
         shell: bash
-        run: sphinx-build -b html . build
+        run: .env/bin/sphinx-build -b html . build
+      # Deploy the resulting files
       - name: Deploy
         if: success()
         uses: crazy-max/ghaction-github-pages@v3