Merge pull request #1235 from jtpio/gitpod-dev-requirements

Also install dev requirements on Gitpod
pull/1241/head
Min RK 2023-02-03 16:02:26 +01:00 zatwierdzone przez GitHub
commit 12f94dc69e
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 2 dodań i 0 usunięć

Wyświetl plik

@ -1,10 +1,12 @@
tasks: tasks:
- init: | - init: |
pip3 install sphinx-autobuild pip3 install sphinx-autobuild
pip3 install -r dev-requirements.txt
pip3 install -r docs/requirements.txt pip3 install -r docs/requirements.txt
pip3 install -e . pip3 install -e .
command: | command: |
sphinx-autobuild docs/source/ docs/_build/html/ sphinx-autobuild docs/source/ docs/_build/html/
name: Sphinx preview name: Sphinx preview
ports: ports:
- port: 8000 - port: 8000