build: update Develocity Plugin to v4

matrei · matrei · commit 324e880510fc · 2025-04-14T10:36:31.000+02:00
The Groovy build is now compatible with
Develocity Plugin version 4, so we upgrade accordingly.
diff --git a/settings.gradle b/settings.gradle
@@ -1,5 +1,5 @@
 plugins {
-    id 'com.gradle.develocity' version '3.19.2' // Do not upgrade to v4 until Groovy can build with it: https://lists.apache.org/thread/z3ohqxxmdm9p1y18j6mk1cpp6fvnz6k7
+    id 'com.gradle.develocity' version '4.0'
     id 'com.gradle.common-custom-user-data-gradle-plugin' version '2.2.1'
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`plugins {`
`2`		`- id 'com.gradle.develocity' version '3.19.2' // Do not upgrade to v4 until Groovy can build with it: https://lists.apache.org/thread/z3ohqxxmdm9p1y18j6mk1cpp6fvnz6k7`
	`2`	`+ id 'com.gradle.develocity' version '4.0'`
`3`	`3`	`id 'com.gradle.common-custom-user-data-gradle-plugin' version '2.2.1'`
`4`	`4`	`}`
`5`	`5`