From 849766ce8ff5ff49286fe39c7621623d5f0ec506 Mon Sep 17 00:00:00 2001 From: Vojtech Mares Date: Sat, 10 Sep 2022 18:18:51 +0200 Subject: [PATCH] ci: run two kind of jobs on docs publish (split release and dev) --- .github/workflows/docs.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 913ab40..e459c11 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -30,6 +30,12 @@ jobs: git config --local user.email "github-actions[bot]@users.noreply.github.com" git config --local user.name "github-actions[bot]" - name: build and push + if: startsWith(github.ref, 'refs/tags/v') run: | mike deploy ${{ github.ref_name }} latest --push --update-aliases mike set-default --push latest + - name: build and push + if: startsWith(github.ref, 'refs/heads/') + run: | + mike deploy dev --push --update-aliases + mike set-default --push dev