Initial commit, getting all the stuff from PlatformIO

.pio/libdeps/esp32dev/lvgl/.github/workflows/check_properties.yml

@@ -0,0 +1,26 @@
+name: Verify the widget property name
+on:
+  push:
+  pull_request:
+
+jobs:
+  verify-property-name:
+    if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head.repo.full_name }}
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+          fetch-depth: 0
+      - name: Generate property names
+        run: python properties.py
+        working-directory: scripts
+      - name: Check that repository is clean
+        shell: bash
+        run: |
+          set -o pipefail
+          if ! (git diff --exit-code --color=always | tee /tmp/lvgl_diff.patch); then
+            echo "Please apply the preceding diff to your code or run scripts/properties.py"
+            exit 1
+          fi