Update docs-release.yml

joBr99 · Nov 28, 2023 · 0bddcec · 0bddcec
1 parent 09156fb
commit 0bddcec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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