[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/pr-checks.yml

@@ -0,0 +1,25 @@
+# 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:
+  dump_contexts_to_log:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Dump GitHub context
+        env:
+          GITHUB_CONTEXT: ${{ toJson(github) }}
+        run: echo "$GITHUB_CONTEXT"
+  check-versions:
+    if: github.repository == 'octo-org/octo-repo-prod'
+    uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkVersions.yml@master
+    with:
+      botName: Eclipse Platform Bot
+      botMail: [email protected]

.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 }}