Merge fa3dd1d into b430d22

Author: ZPascal

.github/workflows/pull-request-checks.yml

@@ -87,29 +87,29 @@ jobs:
           hide-badge: true
           create-new-commit: true
 
-      - name: "Check if coverage badge file existence"
-        id: check_files
-        uses: andstor/file-existence-action@v1
-        with:
-          files: "docs/coverage.svg"
-
       - name: Generate coverage badge
-        if: steps.check_files.outputs.files_exists == 'false'
-        run: coverage-badge -o docs/coverage.svg -f
+        run: coverage-badge -f -o docs/coverage.svg
 
       - name: Generate documentation
         run: pydoc-markdown --render-toc && rm -rf docs/content && mv build/docs/* docs
 
+      - name: Check changed files
+        uses: tj-actions/[email protected]
+        id: verify-changed-files
+        with:
+          files: |
+            docs
+
       - name: Commit files
-        if: steps.check_files.outputs.files_exists == 'false'
+        if: steps.verify-changed-files.outputs.files_changed == 'true'
         run: |
           git config --local user.email "github-actions[bot]@users.noreply.github.com"
           git config --local user.name "github-actions[bot]"
           git add --force docs
           git commit -m "Add coverage badge and documentation"
 
       - name: Push changes
-        if: steps.check_files.outputs.files_exists == 'false'
+        if: steps.verify-changed-files.outputs.files_changed == 'true'
         uses: ad-m/github-push-action@master
         with:
           github_token: ${{ secrets.GITHUB_TOKEN }}