name: WindowDesc ini_key

on:
  pull_request:
    branches:
    - master

concurrency:
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}

jobs:
  windowdesc-ini-key:
    name: WindowDesc ini_key issues
    runs-on: ubuntu-latest

    steps:
    - name: Checkout
      uses: actions/checkout@v3

    - name: Check for ini_key issues in WindowDesc entries
      shell: bash
      run: |
        python3 .github/windowdesc-ini-key.py