Make GitHub build file install rp2040 version 3.9.5 (#22)

* fixed default_toolchain typo * Changed build file to install rp2040 version 3.9.5
proveskit · Oct 7, 2024 · beff23d · beff23d
1 parent 707d0fd
commit beff23d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -31,7 +31,7 @@ jobs:
       run: |
         arduino-cli config init
         arduino-cli config add board_manager.additional_urls https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json
-        arduino-cli core install rp2040:rp2040
+        arduino-cli core install rp2040:rp2040@3.9.5
       shell: bash
     - name: Install Arduino Libraries
       run: |