From 5306421964ca8b4646670c46a61f8362fe0bb889 Mon Sep 17 00:00:00 2001
From: Martin Milata <martin@martinmilata.cz>
Date: Wed, 30 Apr 2025 12:35:15 +0200
Subject: [PATCH] ci(nix): bump arm-embedded-gcc to version 13

---
 shell.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shell.nix b/shell.nix
index 36438afdda..d5378bd7d8 100644
--- a/shell.nix
+++ b/shell.nix
@@ -96,7 +96,7 @@ stdenvNoCC.mkDerivation ({
     crowdin-cli  # for translations
     curl  # for connect tests
     editorconfig-checker
-    gcc-arm-embedded
+    gcc-arm-embedded-13
     gcc14
     git
     gitAndTools.git-subrepo