update Gradle Enterprise name to new Gradle branding

tudo-aqua · Apr 15, 2024 · be37e8f · be37e8f
1 parent 00a15a0
commit be37e8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -15,7 +15,7 @@
 rootProject.name = "z3-turnkey"
 
 plugins {
-  id("com.gradle.enterprise") version "3.17.1"
+  id("com.gradle.develocity") version "3.17.1"
   id("org.gradle.toolchains.foojay-resolver-convention") version "0.8.0"
 }