diff --git a/.github/workflows/windowdesc-ini-key.yml b/.github/workflows/windowdesc-ini-key.yml new file mode 100644 --- /dev/null +++ b/.github/workflows/windowdesc-ini-key.yml @@ -0,0 +1,24 @@ +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