From 38ec262f165be42c7736057d3b97fdf4727b2f29 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexis=20M=C3=A9taireau?= <alexis@notmyidea.org>
Date: Wed, 6 Dec 2023 11:54:25 +0100
Subject: [PATCH] [ci] Add a separate target for docs

---
 .github/workflows/test-docs.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/.github/workflows/test-docs.yml b/.github/workflows/test-docs.yml
index 56eb0b340..0d263682a 100644
--- a/.github/workflows/test-docs.yml
+++ b/.github/workflows/test-docs.yml
@@ -67,3 +67,18 @@ jobs:
       
     - name: Run Docs
       run: make docs
+
+  docs:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - name: Set up Python
+      uses: actions/setup-python@v4
+      with:
+        python-version: "3.11"
+    - name: Install dependencies
+      run: |
+        python3 -m pip install -r docs/requirements.txt
+
+    - name: Run Docs
+      run: mkdocs build