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
keep_history: true
allow_empty_commit: false
build_dir: build/docs/html
- commit_message: |
- ${{ github.event.push.pusher }} pushed the following commits:\
- \
- ${{ join(github.event.push.commits.*.message, '\n\n') }}\
- \
- ${{ github.event.push.compare }}