diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml index 0a73a5cd..1cd849d1 100644 --- a/.github/workflows/docs-release.yml +++ b/.github/workflows/docs-release.yml @@ -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