Skip to content

add security note to changelogs [build_translations] #610

add security note to changelogs [build_translations]

add security note to changelogs [build_translations] #610

Workflow file for this run

name: Build Documentation
on: [push, pull_request, workflow_dispatch]
jobs:
build:
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout repository contents
uses: actions/checkout@v6
- name: Set up Python
uses: actions/setup-python@v6
with:
python-version: 3.13
- name: Build docs
env:
GIT_BRANCH: ${{ github.ref_name }}
run: |
pip install -r requirements.txt
./scripts/ci_build_docs.sh
# Deploy release branch to mapserver.github.io
- name: Deploy to mapserver.github.io
if: ${{ success() && github.event_name == 'push' && github.repository == 'MapServer/MapServer-documentation' && github.ref_name == 'branch-8-6' }}
run: |
# setup the SSH key
mkdir -p ~/.ssh
echo "${{ secrets.SSH_PRIVATE_KEY }}" > ~/.ssh/id_rsa
chmod 600 ~/.ssh/id_rsa
echo -e "Host *\n\tStrictHostKeyChecking no\n" > ~/.ssh/config
touch ./build/html/.nojekyll
# get the short commit tag
sha=$(git rev-parse --short ${{ github.sha }})
echo "publish website using $GIT_BRANCH branch and commit $sha"
./scripts/ci_deploy_website.sh build /tmp $sha
# Deploy main branch to gh-pages branch (same repo)
- name: Deploy to gh-pages
if: ${{ success() && github.event_name == 'push' && github.repository == 'MapServer/MapServer-documentation' && github.ref_name == 'main' }}
run: |
sha=$(git rev-parse --short ${{ github.sha }})
echo "Publishing main branch (commit $sha) to gh-pages"
./scripts/ci_deploy_gh_pages.sh ${{ github.workspace }}/build $sha ${{ secrets.GITHUB_TOKEN }}