Update docs-release.yml

This commit is contained in:
Johannes
2023-11-28 23:46:03 +01:00
committed by GitHub
parent 6a62a6206a
commit 4102f56cee

View File

@@ -25,5 +25,5 @@ jobs:
- run: cp HMI/README.md docs/hmi-serial-protocol.md
- run: git config --global user.name Docs deploy
- run: git config --global user.email docs@dummy.bot.com
#- run: mike set-default stable
- run: mike set-default stable
- run: mike deploy --push --update-aliases stable