Merge branch 'master' into fix-pigeonhole-bug

Author: mahema-14

.github/workflows/sphinx.yml

@@ -53,5 +53,5 @@ jobs:
     needs: build_docs
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/deploy-pages@v4
+      - uses: actions/deploy-pages@v5
         id: deployment