From 1fd531d0c2c216d8a9d857b7fa445ec483979896 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Thu, 9 May 2024 07:49:19 -0700
Subject: [PATCH] More parallelism (but not under CI)

---
 build.gradle | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.gradle b/build.gradle
index ce4fb69739b..8e293b06c23 100644
--- a/build.gradle
+++ b/build.gradle
@@ -961,9 +961,7 @@ subprojects {
       if (!System.getenv('TF_BUILD')?.equals('True')) {
         // Not running under Azure Pipelines CI.
 
-        // This uses Gradle's recommended value for `maxParallelForks`:
-        // https://docs.gradle.org/current/userguide/performance.html#optimize_java_projects
-        maxParallelForks = Runtime.runtime.availableProcessors().intdiv(2) ?: 1
+        maxParallelForks = Runtime.runtime.availableProcessors() ?: 1
       } else {
         // Running under Azure Pipelines CI.