Merge pull request #79 from jdrouet/stable-gh-pages

docs: build and deploy to github pages
This commit is contained in:
Vince Pike 2022-02-27 10:28:14 -05:00 committed by GitHub
commit 1158bc3b7c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 18 additions and 0 deletions

18
.github/workflows/doc.yml vendored Normal file
View File

@ -0,0 +1,18 @@
name: building github pages documentation
on:
push:
branches:
- stable
jobs:
build-and-deploy:
name: building documentation and deploying it on gh-pages branch
runs-on: ubuntu-latest
steps:
- name: pull the code
uses: actions/checkout@v2
- name: install dependencies
run: pip install -r requirements.txt
- name: build and deploy
run: mkdocs gh-deploy -f docs/en/mkdocs.yml