FIX: URGENT: Changes in Gradle 9 results into non-execution of custom test tasks.#3653

wadoon merged 1 commit intomainKeYProject/key:mainfrom

weigl/fixegradletestsKeYProject/key:weigl/fixegradletestsCopy head branch name to clipboard