Activate workflow for automated version increments in pull-requests for eclipse.platform.releng

.github/workflows/checkVersions.yml

@@ -21,6 +21,11 @@ on:
         type: string
         required: false
         default: ''
+      working-directory:
+        description: Optional additional arguments to specify the directory in which maven build is executed
+        type: string
+        required: false
+        default: '.'
 
 permissions: {} # all none
 
@@ -56,6 +61,7 @@ jobs:
       with:
         attempt_delay: 200
         attempt_limit: 10
+        current_path: ${{ inputs.working-directory }}
         command: >
           mvn verify ${{ inputs.extra-maven-args }} -DskipTests -Dcompare-version-with-baselines.skip=false
           org.eclipse.tycho:tycho-versions-plugin:bump-versions -Dtycho.bump-versions.increment=100
@@ -72,9 +78,11 @@ jobs:
           # Relevant files were staged, i.e. some version were changed
 
           # Read 'releaseNumberSDK' property as stream version
-          mvn help:evaluate -Dexpression=releaseNumberSDK --quiet '-Doutput=releaseNumberSDK-value.txt'
+          pushd ${{ inputs.working-directory }}
+          mvn help:evaluate -Dexpression=releaseNumberSDK ${{ inputs.extra-maven-args }} --quiet '-Doutput=releaseNumberSDK-value.txt'
           streamVersion=$(<releaseNumberSDK-value.txt)
           rm -f releaseNumberSDK-value.txt
+          popd
 
           git config --global user.email '${{ inputs.botMail }}'
           git config --global user.name '${{ inputs.botName }}'

.github/workflows/pr-checks.yml

@@ -0,0 +1,26 @@
+# Fast running checks for pull-requests
+
+name: Pull-Request Checks
+concurrency: 
+    group: ${{ github.workflow }}-${{ github.ref }}
+    cancel-in-progress: true
+
+on:
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  check-freeze-period:
+    uses: ./.github/workflows/verifyFreezePeriod.yml
+  check-merge-commits:
+    uses: ./.github/workflows/checkMergeCommits.yml
+  check-versions:
+    # Run this check only for PRs from forks and not for changes from bots created on branches in this repository
+    if: github.event.pull_request.head.repo.full_name != github.repository
+    uses: ./.github/workflows/checkVersions.yml
+    with:
+      botName: Eclipse Platform Bot
+      botMail: [email protected]
+      # Only check 'eclipse.platform.releng' projects
+      working-directory: 'eclipse.platform.releng'
+      extra-maven-args: '-Pbuild-individual-bundles'

.github/workflows/version-increments.yml

@@ -0,0 +1,14 @@
+name: Publish Version Check Results
+
+on:
+  workflow_run:
+    workflows: [ 'Pull-Request Checks' ]
+    types: [ completed ]
+
+jobs:
+  publish-version-check-results:
+    uses: ./.github/workflows/publishVersionCheckResults.yml
+    with:
+      botGithubId: eclipse-platform-bot
+    secrets:
+      githubBotPAT: ${{ secrets.PLATFORM_BOT_PAT }}