From 815cc93c870a2a857de8c5dd1dcc8c9aa5b4f2a8 Mon Sep 17 00:00:00 2001
From: Thibault Gagnaux <tgagnaux@gmail.com>
Date: Fri, 10 Dec 2021 09:31:44 +0100
Subject: refactor: adds an internal `depsFrege` task and simplifes `replFrege`

- `depsFregeTask`: only internal use for the vscode plugin to automate the
repl code lens.
- `replFregeTask`: simplified to only print the command to start the repl because
starting and interacting through a console is not gradle's core strength. See
https://github.com/tricktron/frege-gradle-plugin/issues/11.
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build.gradle')

diff --git a/build.gradle b/build.gradle
index 2fb7819..d460e2a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -41,7 +41,7 @@ check.dependsOn functionalTest
 
 tasks.withType(Test).configureEach {
     useJUnitPlatform()
-    maxParallelForks 4
+    maxParallelForks 6
 }
 
 dependencies {
-- 
cgit