fix doc versioning (#16)

pasqal-io · Jan 21, 2025 · b09849b · b09849b
1 parent 70b4c65
commit b09849b
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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 "[email protected]"
         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
@@ -112,3 +112,7 @@ extra_javascript:
 watch:
   - emu_base
   - emu_mps
+
+extra:
+  version:
+    provider: mike