CI: split docs into separate GitHub Action (#1660)

2024-05-17 03:24:41 -04:00
parent 6c31a8e371
commit 01e1b6bcd8
3 changed files with 38 additions and 4 deletions
@@ -0,0 +1,36 @@
+name: Build documentation ⚙️
+
+on:
+  push:
+    branches:
+      - master
+    paths:
+      - 'docs/**'
+  pull_request:
+    branches:
+      - master
+    paths:
+      - 'docs/**'
+  release:
+    types:
+      - released
+
+jobs:
+  main:
+    runs-on: ubuntu-22.04
+    strategy:
+      matrix:
+        include:
+          - python-version: '3.10'
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      name: Setup Python ${{ matrix.python-version }}
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install requirements 📦
+      run: |
+        pip3 install -r requirements.txt
+        pip3 install -r docs/requirements.txt
+    - name: build docs 🏗️
+      run: cd docs && make html