M #-: Bump sphinx version

Author: nicolerib

.github/workflows/make_html.yml

@@ -12,12 +12,12 @@ jobs:
       - name: Set up Python ${{ matrix.python-version }}
         uses: actions/setup-python@v5
         with:
-          python-version: 3.9
+          python-version: 3.11
       - name: Install dependencies
         run: |
           DEBIAN_FRONTEND=noninteractive sudo -E apt-get install -y graphviz
           python -m pip install --upgrade pip
-          pip install sphinx==4.4.0 sphinx_rtd_theme==1.0.0 sphinx-prompt pyyaml Sphinx-Substitution-Extensions[prompt]
+          pip install sphinx==5.0.0 sphinx_rtd_theme==1.2.0 sphinx-prompt pyyaml Sphinx-Substitution-Extensions[prompt]
       - name: Make html
         run: |
           make SPHINXBUILD="python -m sphinx" html

.github/workflows/publish_html.yml

@@ -16,7 +16,7 @@ jobs:
       - name: Set up Python ${{ matrix.python-version }}
         uses: actions/setup-python@v5
         with:
-          python-version: 3.9
+          python-version: 3.11
 
       - name: Set up Ruby ${{ matrix.ruby-version }}
         uses: ruby/setup-ruby@v1
@@ -28,7 +28,7 @@ jobs:
         run: |
           DEBIAN_FRONTEND=noninteractive sudo -E apt-get install -y graphviz
           python -m pip install --upgrade pip
-          pip install sphinx==4.4.0 sphinx_rtd_theme==1.0.0 sphinx-prompt pyyaml Sphinx-Substitution-Extensions[prompt]
+          pip install sphinx==5.0.0 sphinx_rtd_theme==1.2.0 sphinx-prompt pyyaml Sphinx-Substitution-Extensions[prompt]
           gem install yaml open3
 
 # ------------------------------------------------------------------------------