trying to fix the docs pipeline

Author: kjfisch

.github/workflows/docs.yml

@@ -51,7 +51,7 @@ jobs:
 
       - name: deploy to gh-pages
         if: github.event_name == 'push'
-        uses: peaceiris/actions-gh-pages@v4
+        uses: peaceiris/actions-gh-pages@v3
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}
           publish_dir: ./gh-pages/