From beff23d677ded3b2cb72d92cc3927948ec59d5d9 Mon Sep 17 00:00:00 2001
From: James Cowley <89222416+JamesDCowley@users.noreply.github.com>
Date: Mon, 7 Oct 2024 00:11:39 -0500
Subject: [PATCH] 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
---
 .github/workflows/build.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index da0ceae..69eee65 100644
--- 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: |