trigger ci

soot-oss · Oct 31, 2023 · d0db3e9 · d0db3e9
1 parent af8cab7
commit d0db3e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -46,8 +46,8 @@ jobs:
           git config --local user.name "github-actions[bot]"
 
       - name: deploy doc in subdirectory
-        run: mike deploy $(echo ${{ github.event.ref }} | sed -e "s#refs/heads/##g") --push
+        run: mike deploy $(echo ${{ github.ref }} | sed -e "s#refs/heads/##g") --push
 
       - name: deploy doc and update alias 'latest' to the new doc deployment
         if: github.event_name == 'release' && github.event.action == 'created'
-        run: mike --push --update-aliases $(echo ${{ github.event.ref }} | sed -e "s#refs/heads/##g") latest
+        run: mike --push --update-aliases $(echo ${{ github.ref }} | sed -e "s#refs/heads/##g") latest