From 6786096839b045f42128f6e82d2751141c9849e2 Mon Sep 17 00:00:00 2001
From: "mend-for-github-com[bot]"
 <50673670+mend-for-github-com[bot]@users.noreply.github.com>
Date: Tue, 6 Jan 2026 20:20:18 +0000
Subject: [PATCH] fix(deps): update dependency org.junit.jupiter:junit-jupiter
 to v5.14.2

Signed-off-by: mend-for-github-com[bot] <mend-for-github-com[bot]@users.noreply.github.com>
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index c0bf5724c..c7be70f1f 100644
--- a/build.gradle
+++ b/build.gradle
@@ -40,7 +40,7 @@ buildscript {
         dafnyRuntimeVersion = "4.11.0"
         smithyDafnyVersion = "0.1.1"
         gsonVersion = "2.13.2"
-        junitJupiterVersion = "5.14.1"
+        junitJupiterVersion = "5.14.2"
         jakartaJsonBindVersion = "3.0.1"
         jakartaJsonVersion = "2.0.1"
         commonsTextVersion = "1.15.0"