Merge pull request #237 from SamGuay/fix-dev-doc

[FIX] - update the alias for dev and latest
UNFmontreal · Jul 17, 2023 · 095b7a8 · 095b7a8
2 parents b963db9 + cd40ee5
commit 095b7a8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/publish_doc.yaml b/.github/workflows/publish_doc.yaml
@@ -7,7 +7,7 @@ on:
     branches:
       - master
     tags:
-      - '**'
+      - '[0-9]+.[0-9]+.[0-9]+'
   # Allow this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -57,10 +57,10 @@ jobs:
       - name: Build docs for specific release
         if: github.event_name == 'release'
         run: |
-          mike deploy -p ${{ github.ref_name }} latest
+          mike deploy -p ${{ github.ref_name }} latest -u
 
       - name: Deploy dev version
         if: ${{ github.ref == 'refs/heads/master' }}
         run: |
           VERSION=$(dcm2bids -v | awk '/dcm2bids/ {print $3}')
-          mike deploy -p $VERSION dev
+          mike deploy -p $VERSION dev -u