Doc tests require entire doc group. Gate behind tagged build for now …

…(until pytest-sphinx is fixed?).
cr1901 · Dec 13, 2024 · ce4445e · ce4445e
1 parent b4ba265
commit ce4445e
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 21 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -102,10 +102,10 @@ jobs:
               run: |
                 pdm install -G doc
                 pdm run doc
+                pdm run doc-test
             - name: Run Pytest/Doc Tests
               run: |
                 pdm test-quick
-                pdm run doc-test
             - name: Check links
               continue-on-error: true
               run: |

diff --git a/pdm.lock b/pdm.lock
diff --git a/pyproject.toml b/pyproject.toml
@@ -227,7 +227,6 @@ dev = [
     "logLUTs @ git+https://github.com/mattvenn/logLUTs@a7fa902a5f70c7d53a654d850f745e36821fbb78",
     "click>=8.1.7",
     "pytest-amaranth-sim>=0.1.0",
-    "sphinx>=7.2.6",
 ]
 examples = [
     "amaranth-soc @ git+https://github.com/amaranth-lang/amaranth-soc",