| 1 | name: check-whitespace |
| 2 | |
| 3 | # Get the repository with all commits to ensure that we can analyze |
| 4 | # all of the commits contributed via the Pull Request. |
| 5 | # Process `git log --check` output to extract just the check errors. |
| 6 | # Exit with failure upon white-space issues. |
| 7 | |
| 8 | on: |
| 9 | pull_request: |
| 10 | types: [opened, synchronize] |
| 11 | |
| 12 | # Avoid unnecessary builds. Unlike the main CI jobs, these are not |
| 13 | # ci-configurable (but could be). |
| 14 | concurrency: |
| 15 | group: ${{ github.workflow }}-${{ github.ref }} |
| 16 | cancel-in-progress: true |
| 17 | |
| 18 | jobs: |
| 19 | check-whitespace: |
| 20 | runs-on: ubuntu-latest |
| 21 | steps: |
| 22 | - uses: actions/checkout@v6 |
| 23 | with: |
| 24 | fetch-depth: 0 |
| 25 | |
| 26 | - name: git log --check |
| 27 | id: check_out |
| 28 | run: | |
| 29 | ./ci/check-whitespace.sh \ |
| 30 | "${{github.event.pull_request.base.sha}}" \ |
| 31 | "$GITHUB_STEP_SUMMARY" \ |
| 32 | "https://github.com/${{github.repository}}" |