Skip to content

Merge branch 'dev'

Merge branch 'dev' #53

Workflow file for this run

name: Publish documentation
on:
push:
branches:
- main
- dev-ci-doc
jobs:
test:
name: Build doc & deploy
runs-on: ubuntu-latest
strategy:
matrix:
python-version: ["3.10"]
permissions:
pages: write
id-token: write # to verify the deployment originates from an appropriate source
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
name: Setup python ${{ matrix.python-version }}
with:
cache-dependency-path: '**/requirements_python3.10.txt'
python-version: ${{ matrix.python-version }}
cache: 'pip' # caching pip dependencies
- name: install cartopy system packages
run: sudo apt-get install libgeos-dev
- name: pip install -r requirements_python3.10.txt
run: pip install -r ./requirements_python3.10.txt
- name: pip install -e .
run: |
pip install -e .
pip install sphinx-rtd-theme==1.2.0
- name: Install Sphynx doc
run: sudo apt-get install python3-sphinx
- name: Make documentation
run: make -C docs html
- name: Upload artifact
uses: actions/upload-pages-artifact@v2
with:
# Upload entire repository
path: './docs/_build/html'
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v2