Merge pull request #289 from pgpointcloud/fix_website_deployment

Fix website deployment
This commit is contained in:
Paul Blottiere 2022-02-07 16:12:45 +01:00 committed by GitHub
commit ed91798442
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@ name: "Website"
on:
push:
branches:
- master
pull_request:
types: [opened]
jobs:
code:
name: Website
runs-on: ubuntu-18.04
runs-on: ubuntu-20.04
steps:
- name: Check out repository code
uses: actions/checkout@v2
@ -17,8 +17,9 @@ jobs:
- name: Build html documentation
run: virtualenv -p /usr/bin/python3 venv && source venv/bin/activate && pip install sphinx sphinx_rtd_theme && cd doc && make html && cd -
- name: Deploy
uses: peaceiris/actions-gh-pages@v2.4.0
env:
ACTIONS_DEPLOY_KEY: ${{ secrets.ACTIONS_DEPLOY_KEY }}
PUBLISH_BRANCH: gh-pages
PUBLISH_DIR: ./doc/build/html/
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.ref == 'refs/heads/main' }}
with:
deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
publish_branch: gh-pages
publish_dir: ./doc/build/html/