Upgrade to Arduino-esp32 @ 3.1.0-RC3 / ESP-IDF @ 5.3.1

Author: lptr

.github/workflows/build.yml

@@ -0,0 +1,18 @@
+name: CI Build
+on:
+  push:
+  release:
+    types: [published]
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - uses: espressif/esp-idf-ci-action@v1
+        with:
+          esp_idf_version: v5.3.1
+          target: esp32s3
+          command: idf.py build

.gitignore

@@ -3,3 +3,4 @@
 /managed_components/
 sdkconfig
 sdkconfig.old
+*.lock