Debug test commit

David Robertson · David Robertson · commit 535101b95ede · 2023-05-11T18:25:28.000+01:00
diff --git a/.github/workflows/docs-pr.yaml b/.github/workflows/docs-pr.yaml
@@ -7,6 +7,8 @@ on:
       - book.toml
       - .github/workflows/docs-pr.yaml
 
+# Dummy change to force the netlify job to run
+
 jobs:
   pages:
     name: GitHub Pages
