From 19c1d42bf830b88c4e88c907ebea9a8a45f7da53 Mon Sep 17 00:00:00 2001 From: srikant Date: Sat, 8 Jun 2024 02:45:41 +0530 Subject: [PATCH] #2010 Deploy-docs run fails after commit is merged in main branch (#2011) --- .github/workflows/deploy-docs.yml | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml index b57c67092c..39044e323e 100644 --- a/.github/workflows/deploy-docs.yml +++ b/.github/workflows/deploy-docs.yml @@ -38,7 +38,11 @@ jobs: - name: Set up Python uses: actions/setup-python@v5 with: - python-version: 3.11 + python-version: 3.x + - name: Configure git user + run: | + git config --local user.email "github-actions[bot]@users.noreply.github.com" + git config --local user.name "github-actions[bot]" - run: echo "cache_id=$(date --utc '+%V')" >> $GITHUB_ENV - uses: actions/cache@v4 with: @@ -46,6 +50,5 @@ jobs: path: .cache restore-keys: | mkdocs-material- - - run: pip3 install mkdocs-material - run: pip3 install mike + - run: pip3 install mkdocs-material mike - run: mike deploy --push --update-aliases v13 latest