Merge pull request #1472 from manics/rm-gitpod

Delete gitpod config
pull/1473/head
Min RK 2025-10-02 12:49:07 -07:00 zatwierdzone przez GitHub
commit 358888c6a9
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: B5690EEEBB952194
1 zmienionych plików z 0 dodań i 12 usunięć

Wyświetl plik

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