From 5b3e3f4e3034aeaba6cb27855f2314c12b964112 Mon Sep 17 00:00:00 2001 From: Mike the document version manager Date: Sun, 29 Oct 2023 21:47:09 +0000 Subject: [PATCH] fix(ui): push docs to remote gh-pages branch --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 743a3f005..604807bdf 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -103,7 +103,7 @@ jobs: - run: | git config --global user.email "mike@otf.ninja" git config --global user.name "Mike the document version manager" - mike deploy ${{ needs.release-please.outputs.tag_name }} latest -u --alias-type=copy + mike deploy ${{ needs.release-please.outputs.tag_name }} latest -u --alias-type=copy -p mike set-default latest -p charts: # only create otf-charts PR for new releases