Address copilot findings

Author: david-pl

.github/workflows/docs.yml

@@ -106,7 +106,7 @@ jobs:
         id: compute-base
         run: |
           if [[ "${{ github.event_name }}" == "pull_request" ]]; then
-            echo "base=/ppvm/pr-preview/pr-${{ github.event.pull_request.number }}" >> "$GITHUB_OUTPUT"
+            echo "base=/ppvm/pr-preview/pr-${{ github.event.pull_request.number }}/" >> "$GITHUB_OUTPUT"
           else
             echo "base=/ppvm/" >> "$GITHUB_OUTPUT"
           fi

docs/astro.config.mjs

@@ -4,7 +4,7 @@ import { defineConfig } from "astro/config";
 // three deploy targets:
 //   · local dev:           PPVM_SITE=http://localhost:4321              PPVM_BASE=/
 //   · main → gh-pages:     PPVM_SITE=https://queracomputing.github.io   PPVM_BASE=/ppvm/
-//   · PR preview deploy:   PPVM_SITE=https://queracomputing.github.io   PPVM_BASE=/ppvm/pr-preview/pr-<N>
+//   · PR preview deploy:   PPVM_SITE=https://queracomputing.github.io   PPVM_BASE=/ppvm/pr-preview/pr-<N>/
 //
 // The site is a GitHub Pages *project* page served from the `/ppvm/`
 // subpath, so the deployed base must be `/ppvm/`. The default base stays

ppvm-python/README.md

@@ -1,4 +1,4 @@
-[![CI - python](https://github.com/QuEraComputing/ppvm/actions/workflows/python-ci.yml/badge.svg)](https://github.com/QuEraComputing/ppvm/actions/workflows/python-ci.yml)
+[![CI](https://github.com/QuEraComputing/ppvm/actions/workflows/ci.yml/badge.svg)](https://github.com/QuEraComputing/ppvm/actions/workflows/ci.yml)
 
 # ppvm (Python)