Merge remote-tracking branch 'origin/main'

Author: jd28

.github/workflows/coverage-docs.yml

@@ -101,7 +101,7 @@ jobs:
 
       - name: deploy docs to github pages
         if: github.event_name == 'push'
-        uses: JamesIves/[email protected].4
+        uses: JamesIves/[email protected].8
         with:
           branch: gh-pages
           folder: "${{ github.workspace }}/build/docs/sphinx"