diff --git a/.github/workflows/mkdocs-release.yml b/.github/workflows/mkdocs-release.yml
index 6b550e12d..63ffc0f23 100644
--- a/.github/workflows/mkdocs-release.yml
+++ b/.github/workflows/mkdocs-release.yml
@@ -107,7 +107,7 @@ jobs:
 
       - name: Deploy the dev docs with mike
         if: ${{ env.BRANCH == 'main' }}
-        run: mike deploy dev --set-prop hidden=true --push
+        run: mike deploy dev --prop-set hidden=true --push
 
       - name: Deploy the release docs with mike
         if: ${{ env.BRANCH != 'main' }}