File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change 16
16
- " shared/**/*.qll"
17
17
- " !**/experimental/**"
18
18
- " !ql/**"
19
+ - " !rust/**"
19
20
- " .github/workflows/check-change-note.yml"
20
21
21
22
jobs :
22
23
check-change-note :
23
- env :
24
+ env :
24
25
REPO : ${{ github.repository }}
25
26
PULL_REQUEST_NUMBER : ${{ github.event.number }}
26
27
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
33
34
!contains(github.event.pull_request.labels.*.name, 'no-change-note-required')
34
35
run : |
35
36
change_note_files=$(gh api "repos/$REPO/pulls/$PULL_REQUEST_NUMBER/files" --paginate --jq '.[].filename | select(test("/change-notes/.*[.]md$"))')
36
-
37
+
37
38
if [ -z "$change_note_files" ]; then
38
39
echo "No change note found. Either add one, or add the 'no-change-note-required' label."
39
40
exit 1
You can’t perform that action at this time.
0 commit comments