j

Author: eltos

.github/workflows/format.yml

@@ -13,40 +13,36 @@ jobs:
     name: Format files with pre-commit
     runs-on: ubuntu-24.04
     steps:
+
       - uses: actions/checkout@v4
         with:
           ssh-key: ${{ env.SSH_KEY }}
           fetch-depth: 0
 
-      - name: Skip if bot
+      - name: Install python
+        uses: actions/setup-python@v3
+
+      - name: Fix formatting
+        continue-on-error: true
+        id: format
         run: |
             git checkout ${{github.event.pull_request.head.ref}}
-            git log -1
+            # Skip for commits created by bots (such as me)
             AUTHOR=$(git log -1 --pretty="%an %ae")
-            echo ">$AUTHOR<"
             if [[ $AUTHOR =~ [Bb]ot ]]; then
-              echo "Commit made by bot, skipping further steps in the pipeline."
+              echo "Commit made by $AUTHOR, skipping further steps in the pipeline."
               exit 0
             fi
-
-      - name: Install python
-        uses: actions/setup-python@v3
-
-      - name: Install pre-commit
-        run: |
+            # Install pre-commit
             python3 -m pip install pre-commit
             pre-commit install
-
-      - name: Format files
-        continue-on-error: true
-        id: check
-        run: |
-          FILES=$(git diff --name-only HEAD origin/$GITHUB_BASE_REF | tr '\n' ' ')
-          echo $FILES
-          pre-commit run --files $FILES
+            # Format files
+            FILES=$(git diff --name-only HEAD origin/$GITHUB_BASE_REF | tr '\n' ' ')
+            echo $FILES
+            pre-commit run --files $FILES # non-zero exit code if files were modified
 
       - name: Push formatted fixes
-        if: steps.check.outcome == 'failure'
+        if: steps.format.outcome == 'failure'
         run: |
           git config user.name "Bot"
           git config user.email "<[email protected]>"