1name: Verify the widget property name
2on:
3  push:
4  pull_request:
5
6# https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency
7# Ensure that only one commit will be running tests at a time on each PR
8concurrency:
9  group: ${{ github.ref }}-${{ github.workflow }}
10  cancel-in-progress: true
11
12jobs:
13  verify-property-name:
14    if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head.repo.full_name }}
15    runs-on: ubuntu-22.04
16    steps:
17      - name: Checkout
18        uses: actions/checkout@v4
19        with:
20          persist-credentials: false
21          fetch-depth: 0
22      - name: Generate property names
23        run: python properties.py
24        working-directory: scripts
25      - name: Check that repository is clean
26        shell: bash
27        run: |
28          set -o pipefail
29          if ! (git diff --exit-code --color=always | tee /tmp/lvgl_diff.patch); then
30            echo "Please apply the preceding diff to your code or run scripts/properties.py"
31            exit 1
32          fi
33