diff --git a/.github/workflows/pr-checks.yml b/.github/workflows/pr-checks.yml new file mode 100644 index 0000000000..83c07a9da0 --- /dev/null +++ b/.github/workflows/pr-checks.yml @@ -0,0 +1,17 @@ +# 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: + uses: eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkVersions.yml@master + with: + botName: Eclipse JDT Bot + botMail: jdt-bot@eclipse.org diff --git a/.github/workflows/version-increments.yml b/.github/workflows/version-increments.yml new file mode 100644 index 0000000000..73f7a18fea --- /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 }}