diff --git a/.github/workflows/check-formatting.yml b/.github/workflows/check-formatting.yml new file mode 100644 index 0000000000..99b8ff84ef --- /dev/null +++ b/.github/workflows/check-formatting.yml @@ -0,0 +1,14 @@ +name: Check Formatting + +on: + push: + branches: [master] + pull_request: + branches: [master] +jobs: + check-formatting: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - run: pip3 install gersemi + - run: ./extras/formatting.sh --check-only