From 5f5830b9601496c657e87877a8df427fa453d0c1 Mon Sep 17 00:00:00 2001
From: Tyler Veness <calcmogul@gmail.com>
Date: Fri, 9 Jul 2021 22:42:20 -0400
Subject: [PATCH] Upload wpiformat diff if one exists (#3474)

This means users will be able to apply it locally with "git apply".
---
 .github/workflows/lint-format.yml | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/lint-format.yml b/.github/workflows/lint-format.yml
index 04276dfa3f..bcc8d50e11 100644
--- a/.github/workflows/lint-format.yml
+++ b/.github/workflows/lint-format.yml
@@ -31,8 +31,16 @@ jobs:
         run: pip3 install wpiformat
       - name: Run
         run: wpiformat -clang 12
-      - name: Check Output
+      - name: Check output
         run: git --no-pager diff --exit-code HEAD
+      - name: Generate diff
+        run: git diff HEAD > wpiformat-fixes.patch
+        if: ${{ failure() }}
+      - uses: actions/upload-artifact@v2
+        with:
+          name: wpiformat fixes
+          path: wpiformat-fixes.patch
+        if: ${{ failure() }}
   tidy:
     name: "clang-tidy"
     runs-on: ubuntu-latest