From 08d1d0624d8637847b1639a23b406cab9eeb4ddd Mon Sep 17 00:00:00 2001 From: Roberto Di Cosmo Date: Wed, 9 Aug 2023 12:17:06 +0200 Subject: [PATCH] Update gh-pages before mike run, final Signed-off-by: Roberto Di Cosmo --- .github/workflows/publish-releases.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish-releases.yml b/.github/workflows/publish-releases.yml index 6a9bdb3..be1af6c 100644 --- a/.github/workflows/publish-releases.yml +++ b/.github/workflows/publish-releases.yml @@ -11,7 +11,7 @@ jobs: runs-on: ubuntu-latest container: python:3 steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 with: ref: 'main' - name: Install pre-requisites @@ -22,9 +22,10 @@ jobs: run: mkdocs build -v --clean - name: Configure Git user run: | + git config --global --add safe.directory '*' + git fetch origin gh-pages --depth=1 git config --global user.email "github-actions[bot]@users.noreply.github.com" git config --global user.name "github-actions[bot]" - git config --global --add safe.directory '*' - name: Deploy MkDoc with mike 🚀 run: | mike deploy --push ${{ steps.extract_branch.outputs.branch }}