Revert "[Build|GH] Add quick-fix to avoid need for EF-infrastrucutre"

.github/workflows/checkVersions.yml

@@ -26,18 +26,12 @@ on:
         type: string
         required: false
         default: '.'
-      without-EF-infra:
-        description: 'Whether to run this build without the need for EF-infrastructure (which is currently unavailable).'
-        type: boolean
-        required: false
-        default: true
 
 permissions: {} # all none
 
 env:
   MAVEN_ARGS: >-
     --batch-mode --no-transfer-progress
-    ${{ inputs.without-EF-infra && '-Dtycho.version=4.0.12' || '' }}
 
 jobs:
   versions-check-and-increment:
@@ -61,10 +55,6 @@ jobs:
       with:
         maven-version: 3.9.9
 
-    - name: Install Maven parent locally
-      uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/actions/install-maven-parent-action@master
-      if : inputs.without-EF-infra
-
     - name: Additional setup
       if: inputs.extra-setup-command
       run: |

.github/workflows/codeQLworkflow.yml

@@ -20,16 +20,10 @@ on:
         type: string
         required: false
         default: '3.9.9'
-      without-EF-infra:
-        description: 'Whether to run this build without the need for EF-infrastructure (which is currently unavailable).'
-        type: boolean
-        required: false
-        default: true
 
 env:
   MAVEN_ARGS: >-
     --batch-mode --no-transfer-progress
-    ${{ inputs.without-EF-infra && '-Dtycho.version=4.0.12' || '' }}
 
 jobs:
   analyze:
@@ -88,10 +82,6 @@ jobs:
       with:
         maven-version: ${{ inputs.mavenVersion }}
 
-    - name: Install Maven parent locally
-      uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/actions/install-maven-parent-action@master
-      if : inputs.without-EF-infra
-
     - name: Build with Maven
       run: >-
         ${{ runner.os == 'Linux' && 'xvfb-run' || '' }}

.github/workflows/mavenBuild.yml

@@ -20,18 +20,12 @@ on:
         type: string
         required: false
         default: '3.9.9'
-      without-EF-infra:
-        description: 'Whether to run this build without the need for EF-infrastructure (which is currently unavailable).'
-        type: boolean
-        required: false
-        default: true
 
 permissions: {}
 
 env:
   MAVEN_ARGS: >-
     --batch-mode --no-transfer-progress
-    ${{ inputs.without-EF-infra && '-Dtycho.version=4.0.12' || '' }}
 
 jobs:
   event_file:
@@ -83,10 +77,6 @@ jobs:
       with:
         maven-version: ${{ inputs.mavenVersion }}
 
-    - name: Install Maven parent locally
-      uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/actions/install-maven-parent-action@master
-      if : inputs.without-EF-infra
-
     - name: Build with Maven
       run: >-
         ${{ runner.os == 'Linux' && 'xvfb-run' || '' }}