diff --git a/.github/workflows/version-increments.yml b/.github/workflows/version-increments.yml new file mode 100644 index 0000000..73f7a18 --- /dev/null +++ b/.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-jdt-bot + secrets: + githubBotPAT: ${{ secrets.JDT_BOT_PAT }}