Increase indentation in GH workflow yaml files

Signed-off-by: Roberto Di Cosmo <[email protected]>
swhid · Aug 9, 2023 · 97c1bdc · 97c1bdc
1 parent ad9e291
commit 97c1bdc
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 7 deletions.
diff --git 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
@@ -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 }}