From b0a29c2025c6ce8125b8a912a923c9a6d95a38f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pablo=20Barb=C3=A1chano?= <pablob@amazon.com>
Date: Fri, 6 Sep 2024 10:33:31 +0200
Subject: [PATCH] ci: use new devctr
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Use the new devctr from latest changes

Signed-off-by: Pablo Barbáchano <pablob@amazon.com>
---
 tools/devtool | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/devtool b/tools/devtool
index f3b5cfbe21b..de49b36d579 100755
--- a/tools/devtool
+++ b/tools/devtool
@@ -68,7 +68,7 @@
 DEVCTR_IMAGE_NO_TAG="public.ecr.aws/firecracker/fcuvm"
 
 # Development container tag
-DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v74}
+DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v75}
 
 # Development container image (name:tag)
 # This should be updated whenever we upgrade the development container.