.github/workflows/check-whitespace.yml

   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@v4
  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}}"