Update docs.yml

This commit is contained in:
Johannes
2023-11-28 21:43:07 +01:00
committed by GitHub
parent 495e63dacc
commit 6eab35ddd0

View File

@@ -24,6 +24,8 @@ jobs:
- run: pip install mkdocs-material mkdocs-video markdown-include mike - run: pip install mkdocs-material mkdocs-video markdown-include mike
- run: cp HMI/README.md docs/hmi-serial-protocol.md - run: cp HMI/README.md docs/hmi-serial-protocol.md
#- run: mkdocs gh-deploy --force #- run: mkdocs gh-deploy --force
- run: git config --global user.name Docs deploy
- run: git config --global user.email docs@dummy.bot.com
- run: mike deploy --push --update-aliases dev - run: mike deploy --push --update-aliases dev