From d0db3e9e617b436266161ed409b202fa202d348d Mon Sep 17 00:00:00 2001 From: Markus Schmidt Date: Tue, 31 Oct 2023 14:52:29 +0100 Subject: [PATCH] trigger ci --- .github/workflows/gh-pages.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 17b0f05f463..87b156300af 100644 --- 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 \ No newline at end of file + run: mike --push --update-aliases $(echo ${{ github.ref }} | sed -e "s#refs/heads/##g") latest \ No newline at end of file