Skip to content

Merge pull request #217 from fmuyassarov/category #139

Merge pull request #217 from fmuyassarov/category

Merge pull request #217 from fmuyassarov/category #139

Workflow file for this run

name: Publish documentation
on:
push:
branches:
- main
- release-*
tags:
- v*
concurrency:
group: gh-pages
jobs:
update-gh-pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Install build dependencies
run: |
pip3 install --user -r docs/requirements.txt
echo "`python3 -m site --user-base`/bin" >> $GITHUB_PATH
- name: Add docs from this revision to gh-pages
run: |
git config user.name "Github"
git config user.email "[email protected]"
./scripts/build/update-gh-pages.sh
- name: Publish/push to gh-pages
shell: bash
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
git push https://${GITHUB_ACTOR}:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git gh-pages