Fix docs action (close #367)

Author: greg-el

.github/workflows/documentation.yml

@@ -2,8 +2,8 @@ name: documentation
 
 on:
   push:
-    branches:    
-      - master
+    # branches:    
+    #   - master
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -12,9 +12,9 @@ jobs:
     - uses: ammaraskar/sphinx-action@master
       with:
         docs-folder: "docs/"
-    - name: Deploy to GitHub Pages
-      if: success()
-      uses: peaceiris/actions-gh-pages@v3
-      with:
-        github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: ./docs/_build/html
+    # - name: Deploy to GitHub Pages
+    #   if: success()
+    #   uses: peaceiris/actions-gh-pages@v3
+    #   with:
+    #     github_token: ${{ secrets.GITHUB_TOKEN }}
+    #     publish_dir: ./docs/_build/html

docs/requirements.txt

@@ -1,9 +1,9 @@
-sphinx
-sphinx_rtd_theme
-sphinx_copybutton
-sphinx_minipres
-sphinx_tabs
+sphinx==7.1.2
+sphinx_rtd_theme==2.0.0
+sphinx_copybutton==0.5.2
+sphinx_minipres==0.2.1
+sphinx_tabs==3.4.5
 sphinx_togglebutton>=0.2.0
-sphinx-autobuild
+sphinx-autobuild==2021.3.14
 myst_nb>0.8.3
-sphinx_rtd_theme_ext_color_contrast
+sphinx_rtd_theme_ext_color_contrast==0.3.2