Merge branch 'master' into pio-sync

Author: valeros

.github/workflows/Continuous-Integration.yml

@@ -11,6 +11,7 @@ on:
       - '!CI/build/arduino-cli.py'
       - '!CI/build/platformio-builder.py'
       - tools/**
+      - '!tools/platformio-build.py'
   pull_request:
     paths-ignore:
       - '*.json'
@@ -20,6 +21,7 @@ on:
       - '!CI/build/arduino-cli.py'
       - '!CI/build/platformio-builder.py'
       - tools/**
+      - '!tools/platformio-build.py'
 jobs:
   astyle_check:
     runs-on: ubuntu-latest

platform.txt

@@ -17,7 +17,7 @@ compiler.warning_flags.default=
 compiler.warning_flags.more=-Wall
 compiler.warning_flags.all=-Wall -Wextra
 
-compiler.path={runtime.tools.xpack-arm-none-eabi-gcc-9.3.1-1.1.path}/bin/
+compiler.path={runtime.tools.xpack-arm-none-eabi-gcc-9.3.1-1.2.path}/bin/
 
 compiler.S.cmd=arm-none-eabi-gcc
 compiler.c.cmd=arm-none-eabi-gcc