commit 63553512449284bb5515351399359bd62cf5f5b5 parent 593fc25071eec460b378049ca37ee56b20d6906e Author: Amit Dutta <mail@amit.is-a.dev> Date: Thu, 20 Aug 2026 13:42:37 +0530 Merge pull request #56 from notamitgamer/ci/pr-generator-check ci: add PR check to validate generator scripts Diffstat:
| A | .github/workflows/pr-check.yml | | | 40 | ++++++++++++++++++++++++++++++++++++++++ |
1 file changed, 40 insertions(+), 0 deletions(-)
diff --git a/.github/workflows/pr-check.yml b/.github/workflows/pr-check.yml @@ -0,0 +1,40 @@ +name: PR Check + +on: + pull_request: + branches: + - main + +permissions: + contents: read + +concurrency: + group: pr-check-${{ github.event.pull_request.number }} + cancel-in-progress: true + +jobs: + generators: + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v7 + + - name: Setup Python + uses: actions/setup-python@v7 + with: + python-version: '3.13' + + - name: Run list.py + run: python list.py + + - name: Run md.py + run: python md.py + + - name: Fail if generators reported errors + run: | + if [ -f list.txt ]; then + echo "list.py produced list.txt ($(wc -l < list.txt) entries)" + else + echo "::error::list.py did not produce list.txt" + exit 1 + fi