| name: check-whitespace |
| |
| # Get the repository with all commits to ensure that we can analyze |
| # all of the commits contributed via the Pull Request. |
| # Process `git log --check` output to extract just the check errors. |
| # Exit with failure upon white-space issues. |
| |
| on: |
| pull_request: |
| types: [opened, synchronize] |
| |
| # Avoid unnecessary builds. Unlike the main CI jobs, these are not |
| # ci-configurable (but could be). |
| concurrency: |
| group: ${{ github.workflow }}-${{ github.ref }} |
| cancel-in-progress: true |
| |
| jobs: |
| check-whitespace: |
| runs-on: ubuntu-latest |
| steps: |
| - uses: actions/checkout@v4 |
| with: |
| fetch-depth: 0 |
| |
| - name: git log --check |
| id: check_out |
| run: | |
| ./ci/check-whitespace.sh \ |
| "${{github.event.pull_request.base.sha}}" \ |
| "$GITHUB_STEP_SUMMARY" \ |
| "https://github.com/${{github.repository}}" |