ci: remove sphinx theme and plugins not used

This commit is contained in:
Iain Learmonth 2024-11-16 19:58:17 +00:00
parent 3b223f2c1a
commit c4e2ed364e

View file

@ -19,7 +19,6 @@ test:docs:
- cp config.yaml.example config.yaml - cp config.yaml.example config.yaml
- apt update && apt install build-essential - apt update && apt install build-essential
- pip install -r requirements.txt - pip install -r requirements.txt
- pip install -U sphinx sphinx-press-theme sphinx-jsonschema
- pushd docs && DISABLE_METRICS=true sphinx-build -b html . ../public && popd - pushd docs && DISABLE_METRICS=true sphinx-build -b html . ../public && popd
rules: rules:
- if: $CI_COMMIT_REF_NAME != $CI_DEFAULT_BRANCH - if: $CI_COMMIT_REF_NAME != $CI_DEFAULT_BRANCH