schemas: generate some good schemas
This commit is contained in:
parent
ed56ed5368
commit
b7a2201ad6
10 changed files with 205 additions and 122 deletions
|
@ -7,6 +7,7 @@ test:
|
|||
- apt update && apt install build-essential
|
||||
- pip install -r requirements.txt
|
||||
- pip install -U sphinx sphinx-press-theme sphinx-jsonschema
|
||||
- pushd scripts && python update_schemas.py && popd
|
||||
- sphinx-build -b html docs public
|
||||
rules:
|
||||
- if: $CI_COMMIT_REF_NAME != $CI_DEFAULT_BRANCH
|
||||
|
@ -18,6 +19,7 @@ pages:
|
|||
- apt update && apt install build-essential
|
||||
- pip install -r requirements.txt
|
||||
- pip install -U sphinx sphinx-press-theme sphinx-jsonschema
|
||||
- pushd scripts && python update_schemas.py && popd
|
||||
- sphinx-build -b html docs public
|
||||
artifacts:
|
||||
paths:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue