workflows: add docs workflow.

Signed-off-by: Eder Julian <[email protected]>

.github/workflows/docs.yml

@@ -0,0 +1,23 @@
+name: Build docs
+
+on:
+ push:
+ pull_request:
+ paths:
+ - docs/**
+
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: true
+
+jobs:
+ build:
+ runs-on: ubuntu-latest
+
+ steps:
+ - uses: actions/checkout@v4
+ - uses: actions/setup-python@v5
+ - name: Install Python packages
+ run: pip install -r docs/requirements.txt
+ - name: Build docs
+ run: make -C docs/ html