Bump org.junit.vintage:junit-vintage-engine from 5.10.1 to 5.10.2 (#3394

)
KeYProject · Feb 9, 2024 · 7fe4e7d · 7fe4e7d
2 parents 974a10f + c261b93
commit 7fe4e7d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.gradle b/build.gradle
@@ -78,7 +78,7 @@ subprojects {
         testImplementation project(':key.util')
 
         testCompileOnly 'junit:junit:4.13.2'
-        testRuntimeOnly 'org.junit.vintage:junit-vintage-engine:5.10.1'
+        testRuntimeOnly 'org.junit.vintage:junit-vintage-engine:5.10.2'
         testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.10.2'
 
         implementation("org.jspecify:jspecify:0.3.0")

diff --git a/recoder/build.gradle b/recoder/build.gradle
@@ -11,5 +11,5 @@ dependencies {
     implementation 'net.sf.retrotranslator:retrotranslator-transformer:1.2.9'
 
     testCompileOnly 'junit:junit:4.13.2'
-    testRuntimeOnly 'org.junit.vintage:junit-vintage-engine:5.10.1'
+    testRuntimeOnly 'org.junit.vintage:junit-vintage-engine:5.10.2'
 }