From d1da94b08b422535f69d5622a016b1216b68899d Mon Sep 17 00:00:00 2001
From: Tpt <thomaspt@hotmail.fr>
Date: Fri, 5 Jan 2024 11:32:51 +0100
Subject: [PATCH] Runs sphinx-lint in the CI

---
 .github/workflows/tests.yml | 2 ++
 python/requirements.dev.txt | 1 +
 2 files changed, 3 insertions(+)

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index bff292d5..b5156bb7 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -278,6 +278,8 @@ jobs:
         working-directory: ./python
       - run: python -m ruff check --output-format=github .
         working-directory: ./python
+      - run: sphinx-lint docs
+        working-directory: ./python
 
   python_msv:
     runs-on: ubuntu-latest
diff --git a/python/requirements.dev.txt b/python/requirements.dev.txt
index 67eb7d2b..f260a9e9 100644
--- a/python/requirements.dev.txt
+++ b/python/requirements.dev.txt
@@ -3,3 +3,4 @@ maturin~=1.0
 mypy~=1.0
 ruff~=0.1.0
 sphinx~=7.0
+sphinx-lint~=0.9.1