From 185a6d1c1ab43dd4c46d03b4cb853d8f15204299 Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Wed, 30 Oct 2024 15:25:33 +0100
Subject: [PATCH] ci: "head" renamed to "HEAD"

---
 .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 b48e8e777..2186fd168 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 head latest
+          mike deploy --push --update-aliases HEAD latest