[Build] Activate workflow for automated version increments

Set up for this repository the workflow for automated version increments
in pull-requests added via
eclipse-platform#2352

Author: HannesWell

.github/workflows/checkVersions.yml

@@ -11,6 +11,13 @@ on:
         description: The name of the bot that adds the necessary version increment changes
         type: string
         required: true
+      submodules:
+        description: |
+            Whether to checkout submodules: `true` to checkout submodules or `recursive` to recursively checkout submodules.
+            The value is passed unchanged to the github/actions/checkout action: https://github.com/actions/checkout#usage
+        type: string
+        required: false
+        default: ''
       extra-setup-command:
         description: Optional command executed initially to perform additional setup of the build environment
         type: string
@@ -33,6 +40,7 @@ jobs:
     - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
       with:
         fetch-depth: 0 # required for jgit timestamp provider to work
+        submodules: ${{ inputs.submodules }}
 
     - name: Set up Java
       uses: actions/setup-java@c5195efecf7bdfc987ee8bae7a71cb8b11521c00 # v4.7.1

.github/workflows/pr-checks.yml

@@ -0,0 +1,20 @@
+# 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-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]
+      submodules: true

.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: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/publishVersionCheckResults.yml@master
+    with:
+      botGithubId: eclipse-platform-bot
+    secrets:
+      githubBotPAT: ${{ secrets.PLATFORM_BOT_PAT }}