diff --git a/.github/workflows/publish_emu_mps.yml b/.github/workflows/publish_emu_mps.yml
index f3306a5..58106d5 100644
--- a/.github/workflows/publish_emu_mps.yml
+++ b/.github/workflows/publish_emu_mps.yml
@@ -60,4 +60,4 @@ jobs:
         git config user.name "GitHub Actions"
         git config user.email "actions@github.com"
         git fetch origin gh-pages
-        mike deploy --push --update-aliases ${{ github.ref_name }} latest
+        mike deploy --push --update-aliases ${{ github.event.workflow_run.head_branch }} latest
diff --git a/mkdocs.yml b/mkdocs.yml
index ee1b864..079cb78 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -112,3 +112,7 @@ extra_javascript:
 watch:
   - emu_base
   - emu_mps
+
+extra:
+  version:
+    provider: mike