Resolve Maven version dynamically in Jenkinsfile (#127)

* Resolve Maven version dynamically in Jenkinsfile

Instead of hardcoding the Maven version (which breaks whenever
Apache releases a new version), resolve the latest 3.x release
from the GitHub API at build time.

* Fix Groovy escaping for sed backslashes in Jenkinsfile

* Use Maven Central metadata for version resolution, add CodeQL dispatch trigger

- Switch from GitHub API to Maven Central maven-metadata.xml to resolve
  the latest Maven 3.x version (avoids rate limiting on unauthenticated requests)
- Filter for stable 3.x releases only (no alpha/beta/rc, no Maven 4.x)
- Add workflow_dispatch trigger to CodeQL workflow for manual runs

* Use Maven Central metadata for version resolution, add CodeQL dispatch trigger

Author: tortmayr

.github/workflows/codeql-analysis.yml

@@ -14,6 +14,7 @@ defaults:
   run:
     working-directory: ./client
 on:
+  workflow_dispatch:
   schedule:
     - cron: '19 3 * * 5'
 

Jenkinsfile

@@ -60,22 +60,21 @@ pipeline {
         YARN_CACHE_FOLDER = "${env.WORKSPACE}/yarn-cache"
         SPAWN_WRAP_SHIM_ROOT = "${env.WORKSPACE}"
         EMAIL_TO= "glsp-build@eclipse.org"
-        MAVEN_VERSION = "3.9.14"
-
     }
-    
+
     stages {
         stage('Download & Setup Maven') {
             steps {
                 container('ci') {
                     sh '''
-                        curl -o maven.tar.gz -L https://downloads.apache.org/maven/maven-3/${MAVEN_VERSION}/binaries/apache-maven-${MAVEN_VERSION}-bin.tar.gz
+                        MAVEN_VERSION=$(curl -sf "https://dlcdn.apache.org/maven/maven-3/" | grep -o 'href="[0-9][^"]*"' | tr -dc '0-9.')
+                        curl -o maven.tar.gz -L "https://dlcdn.apache.org/maven/maven-3/${MAVEN_VERSION}/binaries/apache-maven-${MAVEN_VERSION}-bin.tar.gz"
                         tar -xzf maven.tar.gz -C ${WORKSPACE}
                         rm -f maven.tar.gz
+                        echo "${WORKSPACE}/apache-maven-${MAVEN_VERSION}" > ${WORKSPACE}/.maven_home
                     '''
-                    // Set MAVEN_HOME manually
                     script {
-                        env.MAVEN_HOME = "${env.WORKSPACE}/apache-maven-${env.MAVEN_VERSION}"
+                        env.MAVEN_HOME = sh(script: "cat ${env.WORKSPACE}/.maven_home", returnStdout: true).trim()
                         env.PATH = "${env.MAVEN_HOME}/bin:${env.PATH}"
                     }
                     sh "echo 'MAVEN_HOME set to ${env.MAVEN_HOME}'"