Fix arduino-cli on CI (#1383) (#1384)

* Fix arduino-cli on CI

Signed-off-by: acuadros95 <[email protected]>

* Fix arduino-cli CI version

Signed-off-by: acuadros95 <[email protected]>

* Fix arduino-cli CI version

Signed-off-by: acuadros95 <[email protected]>

---------

Signed-off-by: acuadros95 <[email protected]>
(cherry picked from commit 3037aab)

Co-authored-by: Antonio Cuadros <[email protected]>

Author: mergify[bot]

.github/workflows/ci.yml

@@ -21,7 +21,7 @@ jobs:
             apt update
             apt install -y git curl lib32z1 wget libfontconfig libxft2 xz-utils rsync python-is-python3 python3-pip
             pip3 install pyserial
-            curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh
+            curl -fsSL https://raw.githubusercontent.com/arduino/arduino-cli/master/install.sh | sh -s 0.31.0
             mkdir -p /github/home/Arduino/libraries/micro_ros_arduino/
             cp -R checkout/* /github/home/Arduino/libraries/micro_ros_arduino/
             echo '''board_manager: