Skip to content

Commit e35a122

Browse files
ci: add merge-gatekeeper ci workflow (#245)
1 parent 53d2b90 commit e35a122

File tree

1 file changed

+36
-0
lines changed

1 file changed

+36
-0
lines changed
Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
name: Main-CI-PR-Flow
2+
3+
on:
4+
pull_request:
5+
types:
6+
- opened
7+
- reopened
8+
- synchronize
9+
- edited
10+
11+
# On PR events, cancel existing CI runs on this same PR for this workflow.
12+
# Also, create different concurrency groups for different pushed commits, on push events.
13+
concurrency:
14+
group: >
15+
${{ github.workflow }}-
16+
${{ github.ref }}-
17+
${{ github.event_name == 'pull_request' && 'PR' || github.sha }}
18+
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
19+
20+
jobs:
21+
merge-gatekeeper:
22+
runs-on: ubuntu-24.04
23+
# Restrict permissions of the GITHUB_TOKEN.
24+
# Docs: https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs
25+
permissions:
26+
checks: read
27+
statuses: read
28+
steps:
29+
- name: Run Merge Gatekeeper on pull request
30+
if: github.event_name == 'pull_request'
31+
uses: upsidr/merge-gatekeeper@v1
32+
with:
33+
token: ${{ secrets.GITHUB_TOKEN }}
34+
timeout: 3600
35+
interval: 30
36+
ignored: code-review/reviewable

0 commit comments

Comments
 (0)