build: update workflow config

Author: sebthom

.github/workflows/build.yml

@@ -38,12 +38,12 @@ on:  # https://docs.github.com/en/actions/reference/workflows-and-actions/events
         required: false
         default: ''
       debug-with-ssh:
-        description: "Start an SSH session for debugging purposes at the end of the build:"
+        description: "When to open an SSH session for post-build debugging:"
         default: never
         type: choice
         options: [ always, on_failure, on_failure_or_cancelled, never ]
       debug-with-ssh-only-for-actor:
-        description: "Limit access to the SSH session to the GitHub user that triggered the job."
+        description: "Restrict SSH debug session access to the GitHub user who triggered the workflow"
         default: true
         type: boolean
 
@@ -64,22 +64,23 @@ jobs:
       matrix:
         os:  # https://github.com/actions/runner-images#available-images
         - ubuntu-latest
-        - macos-15-intel # Intel
-        - macos-latest # ARM
+        - macos-15-intel  # Intel
+        - macos-latest  # ARM
         - windows-latest
         target-platform:
         - oldest
         - latest
-        - unstable
+        - staging
 
     runs-on: ${{ matrix.os }}
     timeout-minutes: 15
 
+
     steps:
     - name: "Show: GitHub context"
       env:
         GITHUB_CONTEXT: ${{ toJSON(github) }}
-      run: echo $GITHUB_CONTEXT
+      run: printf '%s' "$GITHUB_CONTEXT" | python -m json.tool
 
 
     - name: "Show: environment variables"
@@ -167,7 +168,7 @@ jobs:
 
 
     - name: "Build with Maven 🔨"
-      continue-on-error: ${{ matrix.target-platform == 'unstable' }}
+      continue-on-error: ${{ matrix.target-platform == 'staging' }}
       run: |
         set -euo pipefail
 
@@ -213,6 +214,15 @@ jobs:
           )
 
 
+    - name: "Upload: Repository Zip"
+      uses: actions/upload-artifact@v4
+      if: always()
+      with:
+        name: org.eclipse.tm4e.repository-${{matrix.target-platform}}-${{matrix.os}}
+        path: org.eclipse.tm4e.repository/target/org.eclipse.tm4e.repository-*.zip
+        retention-days: 14
+
+
     ##################################################
     # Setup SSH debug session
     ##################################################

Jenkinsfile

@@ -1,11 +1,16 @@
 pipeline {
+	agent {
+		label 'centos-latest'
+	}
+
+	triggers {
+		githubPush()
+	}
+
 	options {
 		timeout(time: 20, unit: 'MINUTES')
 		buildDiscarder(logRotator(numToKeepStr: '10'))
-	}
-
-	agent {
-		label 'centos-latest'
+		disableConcurrentBuilds(abortPrevious: false)
 	}
 
 	tools {
@@ -79,7 +84,7 @@ pipeline {
 			post {
 				always {
 					archiveArtifacts artifacts: 'org.eclipse.tm4e.repository/target/repository/**/*,org.eclipse.tm4e.repository/target/*.zip,*/target/work/data/.metadata/.log'
-					junit '*/target/surefire-reports/TEST-*.xml'
+					junit '**/target/surefire-reports/TEST-*.xml'
 				}
 			}
 		}

target-platforms/unstable.target target-platforms/staging.targettarget-platforms/unstable.target renamed to target-platforms/staging.target

@@ -8,7 +8,7 @@
       <unit id="org.eclipse.license.feature.group" version="2.0.2.v20181016-2210"/>
     </location>
 
-    <!-- 4.35 = Eclipse 2025-12 -->
+    <!-- 4.38 = Eclipse 2025-12 -->
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="true" type="InstallableUnit">
       <repository location="https://download.eclipse.org/eclipse/updates/4.38-I-builds"/>
       <unit id="org.eclipse.platform.feature.group" version="0.0.0"/>
@@ -19,7 +19,7 @@
     </location>
 
     <location includeAllPlatforms="false" includeConfigurePhase="true" includeMode="planner" includeSource="true" type="InstallableUnit">
-      <repository location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/release/latest"/>
+      <repository location="https://download.eclipse.org/tools/orbit/simrel/orbit-aggregation/milestone/latest"/>
       <unit id="assertj-core" version="0.0.0"/>
       <unit id="assertj-core.source" version="0.0.0"/>
       <unit id="com.google.gson" version="0.0.0"/>