From abab8ad7f6c09879245d2eaa48c0870b30dccc70 Mon Sep 17 00:00:00 2001 From: hocine hacherouf Date: Fri, 12 Aug 2022 15:16:42 +0200 Subject: [PATCH] Update ci to deploy doc without latest alias on pre-release event #1085 (#1086) --- .github/workflows/publish-documentation-new-version.yml | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish-documentation-new-version.yml b/.github/workflows/publish-documentation-new-version.yml index aa806b72b..34762f368 100644 --- 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 github-actions@github.com - - 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 \ No newline at end of file