Skip to content

Merge pull request #12 from lekcyjna123/lekcyjna/fix-docs-05022024 #134

Merge pull request #12 from lekcyjna123/lekcyjna/fix-docs-05022024

Merge pull request #12 from lekcyjna123/lekcyjna/fix-docs-05022024 #134

Workflow file for this run

name: "Update documentation"
on:
push:
paths:
- 'docs/**'
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
- uses: ammaraskar/sphinx-action@master
with:
docs-folder: "docs/"
- uses: actions/checkout@v2
with:
ref: gh-pages
path: gh-pages
- name: Commit documentation changes
run: |
cp -r docs/_build/html/* gh-pages/
cd gh-pages
touch .nojekyll
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
git add .
git commit -m "Update documentation [ci skip]" -a || true
# The above command will fail if no changes were present, so we ignore
# that.
- name: Push changes
uses: ad-m/github-push-action@master
with:
branch: gh-pages
directory: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}