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