Update ci to deploy doc without latest alias on pre-release event #1085…

… (#1086)
CGI-FR · Aug 12, 2022 · abab8ad · abab8ad
1 parent 5edbd1a
commit abab8ad
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/publish-documentation-new-version.yml b/.github/workflows/publish-documentation-new-version.yml
@@ -21,7 +21,12 @@ jobs:
         run: |
           git config user.name github-actions
           git config user.email [email protected]
-      - name: Deploy docs with stable version
+      - name: Deploy docs with pre-release version on pre-release event
+        if: "github.event.release.prerelease"
+        run: mike deploy --push ${GITHUB_REF_NAME}
+      - name: Deploy docs with stable version on release event
+        if: "!github.event.release.prerelease"
         run: mike deploy --push stable
-      - name: Deploy docs with latest version
+      - name: Deploy docs with latest version on release event
+        if: "!github.event.release.prerelease"
         run: mike deploy --push --update-aliases ${GITHUB_REF_NAME} latest