GRM-131: ci: remove redundant devx reinstall in doc lint step
Post-merge / detect-type (push) Successful in 1m3s
Post-merge / release (push) Successful in 57s
Post-merge / validate-commit-msg (push) Successful in 1m5s
Post-merge / vikunja (push) Successful in 1m3s
Post-merge / badges (push) Successful in 1m13s
Post-merge / publish (push) Has been skipped
Post-merge / sync-wiki (push) Successful in 2m42s
Post-merge / configure-repo (push) Successful in 1m1s
Post-merge / detect-type (push) Successful in 1m3s
Post-merge / release (push) Successful in 57s
Post-merge / validate-commit-msg (push) Successful in 1m5s
Post-merge / vikunja (push) Successful in 1m3s
Post-merge / badges (push) Successful in 1m13s
Post-merge / publish (push) Has been skipped
Post-merge / sync-wiki (push) Successful in 2m42s
Post-merge / configure-repo (push) Successful in 1m1s
This commit was merged in pull request #198.
This commit is contained in:
@@ -33,13 +33,8 @@ jobs:
|
||||
- name: Documentation lint check
|
||||
env:
|
||||
PYTHONPATH: src
|
||||
CI_GITEA_TOKEN: ${{ secrets.CI_GITEA_TOKEN }}
|
||||
CI_GITEA_USERNAME: ${{ vars.CI_GITEA_USERNAME }}
|
||||
run: |
|
||||
. .venv/bin/activate 2>/dev/null || true
|
||||
pip install --upgrade devx \
|
||||
--index-url "https://${CI_GITEA_USERNAME}:${CI_GITEA_TOKEN}@git.oblachno.oblachno.fyi/api/packages/oblachno-oss/pypi/simple/" \
|
||||
--no-deps
|
||||
python3 -m devx.ci.lint_docs --root .
|
||||
- name: Translation completeness check
|
||||
run: |
|
||||
|
||||
Reference in New Issue
Block a user