(SV) fixing sphinx problems #13
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Update Locale | |
| # This action runs: | |
| # - When this file changes | |
| # - When changes on documentation (doc) | |
| # - When is triggered manually | |
| on: | |
| workflow_dispatch: | |
| push: | |
| paths: | |
| - '.github/workflows/update-locale.yml' | |
| - 'doc/**' | |
| branches-ignore: | |
| - 'gh-pages' | |
| permissions: | |
| contents: read | |
| jobs: | |
| update-locale: | |
| permissions: | |
| contents: write # for Git to git push | |
| name: Update Locale | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v5 | |
| with: | |
| fetch-depth: 0 | |
| - name: Extract branch name and commit hash | |
| run: | | |
| branch=${GITHUB_REF#refs/heads/} | |
| git_hash=$(git rev-parse --short "$GITHUB_SHA") | |
| echo "GIT_HASH=$git_hash" >> $GITHUB_ENV | |
| - name: Get postgres version | |
| run: | | |
| sudo service postgresql start | |
| pgver=$(psql --version | grep -Po '(?<=psql \(PostgreSQL\) )[^;]+(?=\.\d+ \()') | |
| echo "PGVER=${pgver}" >> $GITHUB_ENV | |
| - name: Add PostgreSQL APT repository | |
| run: | | |
| sudo apt-get install curl ca-certificates gnupg | |
| curl https://www.postgresql.org/media/keys/ACCC4CF8.asc | sudo apt-key add - | |
| sudo sh -c 'echo "deb http://apt.postgresql.org/pub/repos/apt/ \ | |
| $(lsb_release -cs)-pgdg main" > /etc/apt/sources.list.d/pgdg.list' | |
| - name: Install python | |
| uses: actions/setup-python@v5 | |
| with: | |
| python-version: '3.x' | |
| - name: Install dependencies | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install -y \ | |
| libboost-graph-dev \ | |
| python3-sphinx \ | |
| python3-sphinx-bootstrap-theme \ | |
| sphinx-intl \ | |
| postgresql-${PGVER} \ | |
| postgresql-server-dev-${PGVER} \ | |
| graphviz | |
| - name: Initialize mandatory git config | |
| run: | | |
| git config user.name "github-actions[bot]" | |
| git config user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| - name: Update locale | |
| run: | | |
| bash .github/scripts/update_locale.sh | |
| # Add the files, commit and push | |
| git diff --staged --quiet || git commit -m "Update locale: commit ${{ env.GIT_HASH }}" | |
| git restore . # Remove the unstaged changes before rebasing | |
| git push |