ci: "dev" renamed to "head" for the latest documentation version

mpusz · Oct 30, 2024 · e78a0ac · e78a0ac
1 parent e6443f0
commit e78a0ac
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 dev latest
+          mike deploy --push --update-aliases head latest