Skip to content

Merge branch 'dev'

Merge branch 'dev' #25

Workflow file for this run

name: Publish Docs
on:
push:
branches: [main]
paths:
- 'docs/**'
- 'raster_tools/**'
release:
types: [created]
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
cancel-in-progress: true
jobs:
docs:
name: Publish Docs
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
persist-credentials: false
- name: Setup Conda
uses: mamba-org/setup-micromamba@v1
with:
init-shell: bash
environment-name: rstools-docs
environment-file: requirements/docs.yml
- name: Sphinx build
shell: bash
run: |
micromamba run -n rstools-docs sphinx-build -b html docs docs/_build/
- name: Deploy to GitHub Pages
uses: JamesIves/github-pages-deploy-action@v4
if: ${{ (github.event_name == 'release') || (github.event_name == 'push') || (github.event_name == 'workflow_dispatch') }}
with:
token: ${{ secrets.GITHUB_TOKEN }}
branch: gh-pages
folder: docs/_build/