File tree Expand file tree Collapse file tree 2 files changed +33
-0
lines changed Expand file tree Collapse file tree 2 files changed +33
-0
lines changed Original file line number Diff line number Diff line change
1
+ # Fast running checks for pull-requests
2
+
3
+ name : Pull-Request Checks
4
+ concurrency :
5
+ group : ${{ github.workflow }}-${{ github.ref }}
6
+ cancel-in-progress : true
7
+
8
+ on :
9
+ pull_request :
10
+ branches : [ master ]
11
+
12
+ jobs :
13
+ check-versions :
14
+ # Run this check only for PRs from forks and not for changes from bots created on branches in this repository
15
+ if : github.event.pull_request.head.repo.full_name != github.repository
16
+ uses : eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/checkVersions.yml@master
17
+ with :
18
+ botName : Eclipse Platform Bot
19
+
Original file line number Diff line number Diff line change
1
+ name : Publish Version Check Results
2
+
3
+ on :
4
+ workflow_run :
5
+ workflows : [ 'Pull-Request Checks' ]
6
+ types : [ completed ]
7
+
8
+ jobs :
9
+ publish-version-check-results :
10
+ uses : eclipse-platform/eclipse.platform.releng.aggregator/.github/workflows/publishVersionCheckResults.yml@master
11
+ with :
12
+ botGithubId : eclipse-platform-bot
13
+ secrets :
14
+ githubBotPAT : ${{ secrets.PLATFORM_BOT_PAT }}
You can’t perform that action at this time.
0 commit comments