diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml index dd63d0c7..1cd849d1 100644 --- a/.github/workflows/docs-release.yml +++ b/.github/workflows/docs-release.yml @@ -7,7 +7,7 @@ on: - main paths: - docs/* - - .github/workflows/docs.yml + - .github/workflows/docs-release.yml - mkdocs.yml - HMI/README.md @@ -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