You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
message: "This PR is being prevented from merging because you have not added one of our required labels: {{ provided }}. Please add one so that the PR can be merged."
19
+
message: "This PR is being prevented from merging because you have not added one of our required labels to say if they are 0-diff or non-0-diff for coupled runs: {{ provided }}. Please add so that the PR can be merged."
20
+
21
+
require-dataatm-label:
22
+
runs-on: ubuntu-latest
23
+
steps:
24
+
- uses: mheap/github-action-required-labels@v5
25
+
env:
26
+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
27
+
with:
28
+
mode: minimum
29
+
count: 1
30
+
labels: "0 diff dataatm,non 0-diff dataatm"
31
+
add_comment: true
32
+
message: "This PR is being prevented from merging because you have not added one of our required labels to say if they are 0-diff or non-0-diff for dataatm runs: {{ provided }}. Please add so that the PR can be merged."
33
+
34
+
require-dataocean-label:
35
+
runs-on: ubuntu-latest
36
+
steps:
37
+
- uses: mheap/github-action-required-labels@v5
38
+
env:
39
+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
40
+
with:
41
+
mode: minimum
42
+
count: 1
43
+
labels: "0 diff dataocean,non 0-diff dataocean"
44
+
add_comment: true
45
+
message: "This PR is being prevented from merging because you have not added one of our required labels to say if they are 0-diff or non-0-diff for dataocean runs: {{ provided }}. Please add so that the PR can be merged."
0 commit comments