From e78a0ac4cf1eaf0959445afbe89c79e968a266d1 Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Wed, 30 Oct 2024 14:57:18 +0100
Subject: [PATCH] ci: "dev" renamed to "head" for the latest documentation
 version

---
 .github/workflows/documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index c3a04d7f..b48e8e77 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -82,4 +82,4 @@ jobs:
       - name: Building docs for a development version
         if: ${{!startsWith(github.event.ref, 'refs/tags/v')}}
         run: |
-          mike deploy --push --update-aliases dev latest
+          mike deploy --push --update-aliases head latest