From 9fdc8a5badd43b0f57fb27a33e5fc06885c5f337 Mon Sep 17 00:00:00 2001 From: Paul Schaub Date: Tue, 31 Jan 2023 18:40:38 +0100 Subject: [PATCH] Improve comment on external-sop/build.gradle --- external-sop/build.gradle | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/external-sop/build.gradle b/external-sop/build.gradle index dea3c3d..1bb86fc 100644 --- a/external-sop/build.gradle +++ b/external-sop/build.gradle @@ -36,7 +36,8 @@ test { useJUnitPlatform() - // since we test external backends, we ignore test failures in this module + // since we test external backends which we might not control, + // we ignore test failures in this module ignoreFailures = true }