HSEARCH-5094 Merge goals ci-build with ci-sources-check

Because we don't need automatic formatting on CI,
so we always want to be in "check" mode,
and doing so allows for better caching.

.github/workflows/build.yml

@@ -108,7 +108,7 @@ jobs:
       - name: Building code and running unit tests and basic checks
         run: |
           ./mvnw $MAVEN_ARGS ${{ matrix.os.maven.args }} clean install \
-          -Pjqassistant -Pdist -Pci-sources-check -DskipITs
+          -Pjqassistant -Pdist -Pci-build -DskipITs
         env:
           GRADLE_ENTERPRISE_ACCESS_KEY: ${{ secrets.GRADLE_ENTERPRISE_ACCESS_KEY }}
       - name: Running integration tests in the default environment

Jenkinsfile

@@ -420,7 +420,7 @@ stage('Default build') {
 					mvn \
 					${commonMavenArgs} \
 					-Pdist \
-					-Pjqassistant -Pci-sources-check \
+					-Pjqassistant -Pci-build \
 					-DskipITs \
 					clean \
 					${deploySnapshot ? "\

pom.xml

@@ -1591,7 +1591,7 @@
         </profile>
 
         <profile>
-            <id>ci-sources-check</id>
+            <id>ci-build</id>
             <properties>
                 <goal.impsort-maven-plugin>check</goal.impsort-maven-plugin>
                 <goal.formatter-maven-plugin>validate</goal.formatter-maven-plugin>