Upload wpiformat diff if one exists (#3474)

This means users will be able to apply it locally with "git apply".
This commit is contained in:
Tyler Veness
2021-07-09 22:42:20 -04:00
committed by GitHub
parent 9fb4f35bb6
commit 5f5830b960

View File

@@ -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