Move docs into docs folder

Signed-off-by: GitHub <noreply@github.com>
pull/140/head
Eric Nemchik 2023-08-31 14:57:21 +00:00 zatwierdzone przez GitHub
rodzic 99acdcf752
commit bac46caf68
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
226 zmienionych plików z 2 dodań i 8 usunięć

Wyświetl plik

@ -17,9 +17,6 @@ jobs:
key: ${{ github.ref }}
path: .cache
- run: pip install -r docs/requirements.txt
- run: |
cp -R general docs/
cp -R images docs/
- run: mkdocs build
deploy:
@ -39,7 +36,4 @@ jobs:
key: ${{ github.ref }}
path: .cache
- run: pip install -r docs/requirements.txt
- run: |
cp -R general docs/
cp -R images docs/
- run: mkdocs gh-deploy --force

Some files were not shown because too many files have changed in this diff Show More