From d95a292062954c76e915276fbf6b083a659c7924 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 25 Jul 2022 16:30:39 +0000
Subject: [PATCH] arduino-cli: Update to version 0.25.1

---
 bucket/arduino-cli.json | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/bucket/arduino-cli.json b/bucket/arduino-cli.json
index b63c04163d..18db6d35f1 100644
--- a/bucket/arduino-cli.json
+++ b/bucket/arduino-cli.json
@@ -1,16 +1,16 @@
 {
-    "version": "0.25.0",
+    "version": "0.25.1",
     "description": "Arduino command line interface",
     "homepage": "https://github.com/arduino/arduino-cli",
     "license": "GPL-3.0-or-later",
     "architecture": {
         "64bit": {
-            "url": "https://github.com/arduino/arduino-cli/releases/download/0.25.0/arduino-cli_0.25.0_Windows_64bit.zip",
-            "hash": "d4db5d61f7182a0dbee4e5ad215ce6f7d338f6d0100abdfeac8db446152f8edf"
+            "url": "https://github.com/arduino/arduino-cli/releases/download/0.25.1/arduino-cli_0.25.1_Windows_64bit.zip",
+            "hash": "376356abe5fa8dc3f453c89d6f403ad0f4c210fc48655df0e9c7d07bbcddd5f9"
         },
         "32bit": {
-            "url": "https://github.com/arduino/arduino-cli/releases/download/0.25.0/arduino-cli_0.25.0_Windows_32bit.zip",
-            "hash": "42cbb95e5d331cf02841c262209a2fecb9efd0336a0e018fd716663f13a7830e"
+            "url": "https://github.com/arduino/arduino-cli/releases/download/0.25.1/arduino-cli_0.25.1_Windows_32bit.zip",
+            "hash": "95e965d23fca89fe8a0765bf60770960e4bcf8b112b7d74c884c0c1900b41ae0"
         }
     },
     "bin": "arduino-cli.exe",