forked from open-mpi/ompi
-
Notifications
You must be signed in to change notification settings - Fork 0
50 lines (46 loc) · 1.45 KB
/
pr-checks.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
name: Git commit checks
# We're using pull_request_target here instead of just pull_request so that the
# action runs in the context of the base of the pull request, rather than in the
# context of the merge commit. For more detail about the differences, see:
# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target
on:
pull_request_target:
# We don't need this to be run on all types of PR behavior
# See https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request
types:
- opened
- synchronize
- edited
permissions: {} # none
jobs:
check:
permissions:
pull-requests: write
name: Check Commits
runs-on: ubuntu-latest
steps:
- name: Pull Request Commit Checker
uses: open-mpi/pr-git-commit-checker@v1.0.1
with:
token: "${{ secrets.GITHUB_TOKEN}}"
label:
permissions:
pull-requests: write
name: Label Pull Request
runs-on: ubuntu-latest
steps:
- name: Pull Request Labeler
uses: open-mpi/pr-labeler@v1.0.1
with:
token: "${{ secrets.GITHUB_TOKEN }}"
milestone:
permissions:
issues: write
pull-requests: write
name: Milestone Pull Request
runs-on: ubuntu-latest
steps:
- name: Pull Request Milestoner
uses: open-mpi/pr-milestoner@v1.0.1
with:
token: "${{ secrets.GITHUB_TOKEN }}"