wrong file oops

Author: tschuelia

.github/workflows/dev-docs.yml

@@ -28,4 +28,4 @@ jobs:
         restore-keys: |
           mkdocs-material-
     - run: pip install mkdocs-material mkdocstrings-python mike markdown-callouts
-    - run: mike deploy --push "${GITHUB_REF##*/}"
+    - run: mike deploy --push ${{ github.ref_name }}

.github/workflows/release-docs.yml

@@ -30,5 +30,5 @@ jobs:
           mkdocs-material-
     - run: pip install mkdocs-material mkdocstrings-python mike markdown-callouts
     - run: |
-        mike deploy --push --update-aliases ${{ github.ref_name }} latest
+        mike deploy --push --update-aliases ${RELEASE_TAG_VERSION} latest
         mike set-default --push latest