chore: Remove unnecessary, duplicate mkdocs install

pull/10489/head
Matthias 2 years ago
parent 9429657a2b
commit a6689b1035

@ -384,7 +384,6 @@ jobs:
- name: Documentation build
run: |
pip install -r docs/requirements-docs.txt
pip install mkdocs
mkdocs build
- name: Discord notification

Loading…
Cancel
Save