From b09849b8b60b7a28eaf92d3df91b4c73546b43b9 Mon Sep 17 00:00:00 2001
From: Anton Quelle <anton.quelle@pasqal.com>
Date: Tue, 21 Jan 2025 09:37:15 +0100
Subject: [PATCH] fix doc versioning (#16)

---
 .github/workflows/publish_emu_mps.yml | 2 +-
 mkdocs.yml                            | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

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