Remove CI profile from pom file

MarkEWaite · Jul 28, 2023 · b07a4c7 · b07a4c7
1 parent 757c789
commit b07a4c7
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/pom.xml b/pom.xml
@@ -287,18 +287,4 @@
     </plugins>
   </build>
 
-  <profiles>
-    <profile>
-      <id>continuous-integration</id>
-      <activation>
-        <property>
-          <name>env.CI</name>
-        </property>
-      </activation>
-      <properties>
-        <!-- Fork a JVM per core for automated tests on continuous integration servers -->
-        <forkCount>1C</forkCount>
-      </properties>
-    </profile>
-  </profiles>
 </project>