name: docs-publish-pages
on:
+ workflow_dispatch:
+ release:
+ types: [published]
push:
paths:
- 'docs/**'
+ - 'ChangeLog*'
branches:
- v1.x
- name: Install dependencies
run: |
sudo apt-get install -y \
+ python3-m2r \
python3-sphinx \
python3-sphinx-rtd-theme
- name: Configure