fix: github workflow for versions

numtide · Sep 5, 2024 · cd37fb5 · cd37fb5
1 parent 8d6d32e
commit cd37fb5
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -38,4 +38,6 @@ jobs:
       - name: Deploy version
         if: startsWith(github.ref, 'refs/tags/v')
         run: |
-          nix develop --command bash -c "mike deploy -p -u ${{ github.ref_name }} latest"      
+          # strip the leading v from the ref_name
+          # update the latest alias
+          nix develop --command bash -c "mike deploy -p -u ${${{ github.ref_name }}:1} latest"