Fix documentations CI

Force tox to download sphinx_rtd_theme==1.3.0, otherwise the CI will take an older version of this package. Also improve dependencies between jobs.
AdaCore · Aug 17, 2024 · 90bbb2a · 90bbb2a
1 parent 97b22a6
commit 90bbb2a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -159,16 +159,18 @@ Test windows py3.12:
 Security:
   stage: Security
   extends: .linux-common
+  needs: []
   variables:
     PYTHON_VERSION: ${LATEST_PYTHON}
     CI_TOX_ENV: security
 
 Documentations:
   stage: Documentations
   extends: .linux-common
+  needs: ["Checkstyle"]
   variables:
     PYTHON_VERSION: ${LATEST_PYTHON}
-    CI_TOX_ENV: security
+    CI_TOX_ENV: docs
   only:
     refs:
       - merge_requests

diff --git a/tox.ini b/tox.ini
@@ -47,7 +47,7 @@ commands =
 deps =
      sphinx
      sphinx-autoapi
-     sphinx_rtd_theme
+     sphinx_rtd_theme==1.3.0
 commands =
       python -msphinx -M html {toxinidir}/docs/source {toxinidir}/docs/build