Add: workflow and script for checking ini_key issues in WindowDesc entries

This commit is contained in:
glx22
2023-07-12 21:15:04 +02:00
committed by Loïc Guilloux
parent 7de37e07b6
commit 9cdf86a411
2 changed files with 74 additions and 0 deletions

View File

@@ -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