From dfbb17dcc675b86d76d851f46ba4f7779c0a979a Mon Sep 17 00:00:00 2001 From: samsja Date: Tue, 18 Apr 2023 12:33:26 +0200 Subject: [PATCH] chore: use temp file for docs build action Signed-off-by: samsja --- .github/workflows/force-docs-build.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/force-docs-build.yml b/.github/workflows/force-docs-build.yml index 72b57480e26..c26576f96af 100644 --- a/.github/workflows/force-docs-build.yml +++ b/.github/workflows/force-docs-build.yml @@ -72,12 +72,14 @@ jobs: - name: docs Build run: | rm -rf docs - mv site docs + mv site /tmp/tmp_docs - name: Checkout to GH pages branch (${{ inputs.pages_branch }}) run: | git fetch origin ${{ inputs.pages_branch }}:${{ inputs.pages_branch }} --depth 1 git checkout -f ${{ inputs.pages_branch }} git reset --hard HEAD + mv /tmp/tmp_docs docs + - name: Push it up! run: | git config --local user.email "${{ inputs.git_config_email }}"