[ci] Add wpiformat command to PRs (#4223)

This commit is contained in:
Austin Shalit
2022-05-11 22:06:11 -07:00
committed by GitHub
parent 178b2a1e88
commit 2ae4adf2d7
2 changed files with 54 additions and 1 deletions

View File

@@ -14,7 +14,6 @@ jobs:
wpiformat:
name: "wpiformat"
runs-on: ubuntu-latest
container: wpilib/roborio-cross-ubuntu:2022-20.04
steps:
- uses: actions/checkout@v2
- name: Fetch all history and metadata