More fixes

.github/workflows/build.yml

@@ -51,6 +51,7 @@ jobs:
       - name: Generate patch file
         run: |
           git diff > formatting.patch
+          find *.patch -type f -size 0 -delete
 
       - name: Upload patch
         uses: actions/upload-artifact@v4
@@ -61,7 +62,14 @@ jobs:
       - name: Error if fixed
         run: |
           rm formatting.patch
-          git diff --quiet --exit-code
+          if git diff --quiet --exit-code; then
+            echo "# Looks like you messed something up!" >> $GITHUB_STEP_SUMMARY
+            echo "1. Download the `code-format` artifact above" >> $GITHUB_STEP_SUMMARY
+            echo "2. Unpack the patch file" >> $GITHUB_STEP_SUMMARY
+            echo "3. Use `git apply formatting.patch` command to apply it to your repo" >> $GITHUB_STEP_SUMMARY
+            exit 1
+          fi
+
   build:
     needs: formatting-check
     name: Emulator