Skip to content

chore: add release notes to doc/ #372

chore: add release notes to doc/

chore: add release notes to doc/ #372

Workflow file for this run

name: documentation
on:
push:
branches:
- master
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Install sphinx and prerequisites
run: |
sudo apt update
sudo apt install -y python3-sphinx-rtd-theme python3-sphinx make libcommon-sense-perl libjson-perl libdatetime-perl libterm-readkey-perl
- name: Build documentation
run: cd doc/sphinx/ && make all
- name: Deploy to GitHub Pages
if: success()
uses: crazy-max/ghaction-github-pages@v2
with:
target_branch: gh-pages
build_dir: docs
allow_empty_commit: false
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}