Merge pull request #237 from cvvergara/refining-sdg11-chapter #1
This file contains 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 Website | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - develop | |
| - main | |
| jobs: | |
| update-documentation: | |
| name: Update Website | |
| runs-on: ubuntu-latest | |
| strategy: | |
| fail-fast: false | |
| steps: | |
| - name: Checkout repository | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 | |
| - name: Get postgres version | |
| run: | | |
| sudo service postgresql start | |
| pgver=$(psql --version | grep -Po '(?<=psql \(PostgreSQL\) )[^;]+(?=\.\d+ \()') | |
| echo "PGVER=${pgver}" >> $GITHUB_ENV | |
| echo "PGIS=3" >> $GITHUB_ENV | |
| - name: Extract branch name and commit hash | |
| run: | | |
| raw=$(git branch -r --contains ${{ github.ref }}) | |
| branch=${raw##*/} | |
| echo "BRANCH=$branch" >> $GITHUB_ENV | |
| git_hash=$(git rev-parse --short "$GITHUB_SHA") | |
| echo "GIT_HASH=$git_hash" >> $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 osm2pgrouting \ | |
| postgresql-${PGVER}-postgis-${PGIS} \ | |
| postgresql-${PGVER}-postgis-${PGIS}-scripts \ | |
| postgresql-${PGVER}-pgrouting | |
| python -m pip install --upgrade pip | |
| pip install -r REQUIREMENTS.txt | |
| pip list | |
| - name: Configure | |
| run: | | |
| service postgresql status | |
| sudo service postgresql start | |
| service postgresql status | |
| sudo -u postgres createdb -p ${POSTGRES_PORT} setup | |
| sudo -u postgres psql -c 'CREATE ROLE "runner" SUPERUSER CREATEDB CREATEROLE INHERIT LOGIN PASSWORD $$runner$$;' -d setup | |
| echo :5432:*:runner:runner >> .pgpass | |
| sudo -u postgres psql -c 'CREATE ROLE "user" SUPERUSER CREATEDB CREATEROLE INHERIT LOGIN PASSWORD $$user$$;' -d setup | |
| echo :5432:*:user:user >> .pgpass | |
| mkdir build | |
| cd build | |
| cmake -DLOCALE=ON -DPGR_WORKSHOP=ON -DES=ON .. | |
| env: | |
| POSTGRES_HOST: localhost | |
| POSTGRES_PORT: 5432 | |
| POSTGRES_USER: postgres | |
| POSTGRES_PASSWORD: postgres | |
| POSTGRES_DB: setup | |
| - name: Build | |
| run: | | |
| cd build | |
| make -j 4 | |
| - 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 Website | |
| run: | | |
| if [[ "${{ env.BRANCH }}" == "develop" ]]; then | |
| FOLDER_NAME="dev" | |
| elif [[ "${{ env.BRANCH }}" == "main" ]]; then | |
| FOLDER_NAME="2.9" | |
| fi | |
| git checkout -f origin/gh-pages | |
| git checkout -b gh-pages | |
| rm -rf ${FOLDER_NAME} | |
| cp -r build/docs/_build/html ${FOLDER_NAME} | |
| git add ${FOLDER_NAME} | |
| git diff --staged --quiet || git commit -m "Update documentation for ${{ env.BRANCH }}: commit ${{ env.GIT_HASH }}" | |
| git fetch origin gh-pages | |
| git rebase origin/gh-pages | |
| git push origin gh-pages | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |