Merge pull request #83 from ESP32Async/ci

Arduino core 3.1.3 based on IDF 5.3.2.250210

Author: mathieucarbou

pioarduino_examples/IncreaseMaxSockets/platformio.ini

@@ -1,6 +1,6 @@
 [env]
 framework = arduino
-platform = https://github.com/pioarduino/platform-espressif32/releases/download/53.03.12/platform-espressif32.zip
+platform = https://github.com/pioarduino/platform-espressif32/releases/download/53.03.13/platform-espressif32.zip
 build_flags =
   -Og
   -Wall -Wextra

platformio.ini

@@ -33,7 +33,7 @@ src_dir = examples/PerfTests
 
 [env]
 framework = arduino
-platform = https://github.com/pioarduino/platform-espressif32/releases/download/53.03.12/platform-espressif32.zip
+platform = https://github.com/pioarduino/platform-espressif32/releases/download/53.03.13/platform-espressif32.zip
 board = esp32dev
 build_flags = 
   -Og