Skip to content

Ask whether a change needs a Jira ticket before opening a PR #3248

Ask whether a change needs a Jira ticket before opening a PR

Ask whether a change needs a Jira ticket before opening a PR #3248

name: check-whitespace
on:
pull_request:
types: [opened, synchronize]
# Avoid unnecessary builds
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
permissions:
contents: read
jobs:
check-whitespace:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v7
with:
fetch-depth: 0
- name: Run whitespace check script
shell: pwsh
run: ./Build/Agent/check-whitespace.ps1