Fix: remove version from index entry, deduplicate description text #16
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 file is part of the pgRouting project. | |
| # Copyright (c) 2021-2026 pgRouting developers | |
| # License: GPL-2 See https://github.com/pgRouting/pgrouting/blob/main/LICENSE | |
| # 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@v6 | |
| 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@v6 | |
| 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 \ | |
| gettext \ | |
| 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 |