From 97c1bdcd8ddc4790461f549a99669df3d18126dc Mon Sep 17 00:00:00 2001 From: Roberto Di Cosmo Date: Wed, 9 Aug 2023 11:44:03 +0200 Subject: [PATCH] Increase indentation in GH workflow yaml files Signed-off-by: Roberto Di Cosmo --- .github/workflows/publish-dev.yml | 7 +++---- .github/workflows/publish-releases.yml | 6 +++--- 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/.github/workflows/publish-dev.yml b/.github/workflows/publish-dev.yml index 8c16b65..b7cc3f0 100644 --- a/.github/workflows/publish-dev.yml +++ b/.github/workflows/publish-dev.yml @@ -19,9 +19,8 @@ jobs: run: mkdocs build -v --clean - 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]" + git config --local user.email "github-actions[bot]@users.noreply.github.com" + git config --local user.name "github-actions[bot]" - name: Deploy MkDoc with mike 🚀 run: | - mike deploy --push dev - + mike deploy --push dev diff --git a/.github/workflows/publish-releases.yml b/.github/workflows/publish-releases.yml index 0ac6676..0a29197 100644 --- a/.github/workflows/publish-releases.yml +++ b/.github/workflows/publish-releases.yml @@ -22,9 +22,9 @@ jobs: run: mkdocs build -v --clean - 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]" + git config --local user.email "github-actions[bot]@users.noreply.github.com" + git config --local user.name "github-actions[bot]" - name: Deploy MkDoc with mike 🚀 run: | - mike deploy --push ${{ steps.extract_branch.outputs.branch }} + mike deploy --push ${{ steps.extract_branch.outputs.branch }}