Skip to content

Merge branch 'JaGeo:main' into master #9

Merge branch 'JaGeo:main' into master

Merge branch 'JaGeo:main' into master #9

Workflow file for this run

name: build-docs
on:
workflow_dispatch:
push:
branches: [master]
# set GITHUB_TOKEN permissions to allow deployment to GitHub Pages
permissions:
contents: write
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v3
with:
python-version: "3.9"
- name: Install dependencies
run: |
python -m pip install --upgrade pip
pip install .[docs,featurizer]
- name: Sphinx build
run: |
sphinx-build docs _build
- uses: actions/upload-artifact@v3
with:
name: Upload-docs
path: |
_build/
jupyter_execute/
deploy:
needs: docs
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v2
- name: Download Artifacts
uses: actions/download-artifact@v2
with:
name: Upload-docs # Change this to the same name used in the build job
- name: Deploy artifacts to branch
run: |
git branch -a
git checkout gh-pages
cp -r _build/ jupyter_execute/ .
- name: Deploy to GitHub Pages
uses: peaceiris/actions-gh-pages@v3
if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
with:
publish_branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: _build/
force_orphan: true