ci: disable metrics during docs build
This commit is contained in:
parent
62d87341ad
commit
928536a2d7
1 changed files with 2 additions and 2 deletions
|
@ -67,8 +67,8 @@ pages:
|
||||||
- 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
|
- pip install -U sphinx sphinx-press-theme sphinx-jsonschema
|
||||||
- pushd scripts && python update_schemas.py && popd
|
- pushd scripts && DISABLE_METRICS=true python update_schemas.py && popd
|
||||||
- pushd docs && sphinx-build -b html . ../public && popd
|
- pushd docs && DISABLE_METRICS=true sphinx-build -b html . ../public && popd
|
||||||
artifacts:
|
artifacts:
|
||||||
paths:
|
paths:
|
||||||
- public
|
- public
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue