diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index f54d7bc..e9ddebd 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -9,26 +9,31 @@ jobs: name: Docs runs-on: ubuntu-latest steps: + # Step 1: Check out the repository - uses: actions/checkout@v2 - - name: Install Python - uses: actions/setup-python@v1 + # Step 2: Set up Python + - name: Set up Python + uses: actions/setup-python@v2 with: - python-version: 3.12 + python-version: 3.10 - - name: Install requirements + # Step 3: Install dependencies + - name: Install dependencies run: | - pip3 install sphinx-rtd-theme + python -m pip install --upgrade pip + pip install sphinx sphinx-rtd-theme - - name: Build docs + # Step 4: Build the documentation + - name: Build documentation run: | cd docs make html - # https://github.com/peaceiris/actions-gh-pages - - name: Deploy - if: success() + + # Step 5: Deploy to GitHub Pages + - name: Deploy to GitHub Pages uses: peaceiris/actions-gh-pages@v3 with: + github_token: ${{ secrets.GH_TOKEN_FOR_SAFE_PFL }} publish_branch: gh-pages - github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: docs/_build/html/