trigger ci

soot-oss · Nov 23, 2023 · 0a06a38 · 0a06a38
1 parent 4921740
commit 0a06a38
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -66,13 +66,13 @@ jobs:
           git config --local user.name "github-actions[bot]"
 
       # sanitive head_ref name
-      - run: echo "DOC_VERSION_NAME=$(echo ${{ github.head_ref }} | sed "s/[^[:alnum:]-]//g" )" >> $GITHUB_ENV
+      - run: echo "DOC_VERSION_NAME=$(echo ${{ github.head_ref }} | sed "s/[^[:alnum:]-]/_/g" )" >> $GITHUB_ENV
 
 
 
       # on push to develop branch - keep a doc around for develop to show the current state
       - name: deploy doc in subdirectory
-        if: github.event_name == 'push'
+        if: github.event_name == 'push'se
         run: mike deploy develop
 
       # on PR events..
@@ -98,7 +98,7 @@ jobs:
       # sanitive head_ref name
       - name: sanitize tag name
         if: github.event_name == 'release'
-        run: echo "DOC_VERSION_NAME=${github.ref_name//[^[:alnum:]]/_}" >> $GITHUB_ENV
+        run: echo "DOC_VERSION_NAME=$(echo ${{ github.ref_name }} | sed "s/[^[:alnum:]-]/_/g" )" >> $GITHUB_ENV
 
       - name: deploy doc in subdirectory
         if: github.event_name == 'release'