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