From fb8f62a5cf1eb18d641638a69526b5060ea00adf Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 17:40:55 +0200
Subject: [PATCH] Remove unneeded print in regressionTests task
---
build.gradle | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/build.gradle b/build.gradle
index 41a2fd8..7da21e6 100644
--- a/build.gradle
+++ b/build.gradle
@@ -100,8 +100,7 @@ clean {
delete "${projectDir}/temp"
}
-task regressionTests(dependsOn: extractPublicExamples, type: Test){
- doFirst{ println("Running integration tests") }
+task regressionTests(dependsOn: extractPublicExamples, type: Test) {
include('de/tlc4b/tlc/integration/probprivate/**')
}
check.dependsOn(regressionTests)
--
GitLab