fix: pin python version for sphinx (#9224)

* dev: pin python version for sphinx

* dev: pin python for deploy workflow
This commit is contained in:
Michal Sniatala 2024-10-20 08:42:42 +02:00 committed by GitHub
parent c7ab0d11fa
commit 28d76073b0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 33 additions and 11 deletions

View File

@ -159,11 +159,15 @@ jobs:
token: ${{ secrets.ACCESS_TOKEN }}
path: userguide
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install Sphinx
run: |
sudo apt install python3-sphinx
sudo pip3 install sphinxcontrib-phpdomain
sudo pip3 install sphinx_rtd_theme
python -m pip install --upgrade pip
pip install -r ./source/user_guide_src/requirements.txt
- name: Chmod
run: chmod +x ./source/.github/scripts/deploy-userguide

View File

@ -33,11 +33,20 @@ jobs:
php-version: '8.1'
coverage: none
# Build the latest User Guide
- name: Build with Sphinx
uses: ammaraskar/sphinx-action@0.4
- name: Setup Python
uses: actions/setup-python@v5
with:
docs-folder: user_guide_src/
python-version: '3.12'
- name: Install Sphinx
run: |
python -m pip install --upgrade pip
pip install -r user_guide_src/requirements.txt
# Build the latest User Guide
- name: Build Docs with Sphinx
run: make html
working-directory: user_guide_src
- name: Add "Edit this page" links
run: |

View File

@ -26,10 +26,19 @@ jobs:
- name: Checkout
uses: actions/checkout@v4
- name: Setup Python
uses: actions/setup-python@v5
with:
python-version: '3.12'
- name: Install Sphinx
run: |
python -m pip install --upgrade pip
pip install -r user_guide_src/requirements.txt
- name: Detect usage of tabs in RST files
run: php utils/check_tabs_in_rst.php
- uses: ammaraskar/sphinx-action@0.4
with:
docs-folder: user_guide_src
build-command: 'make html SPHINXOPTS="-W --keep-going -w /tmp/sphinx-log"'
- name: Build Docs with Sphinx
run: make html SPHINXOPTS="-W --keep-going -w /tmp/sphinx-log"
working-directory: user_guide_src