ci: "head" renamed to "HEAD"

mpusz · Oct 30, 2024 · 185a6d1 · 185a6d1
1 parent 26d2fc4
commit 185a6d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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