Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 00bc407 commit d04f020Copy full SHA for d04f020
1 file changed
.github/workflows/check-change-note.yml
@@ -16,11 +16,12 @@ on:
16
- "shared/**/*.qll"
17
- "!**/experimental/**"
18
- "!ql/**"
19
+ - "!rust/**"
20
- ".github/workflows/check-change-note.yml"
21
22
jobs:
23
check-change-note:
- env:
24
+ env:
25
REPO: ${{ github.repository }}
26
PULL_REQUEST_NUMBER: ${{ github.event.number }}
27
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
@@ -33,7 +34,7 @@ jobs:
33
34
!contains(github.event.pull_request.labels.*.name, 'no-change-note-required')
35
run: |
36
change_note_files=$(gh api "repos/$REPO/pulls/$PULL_REQUEST_NUMBER/files" --paginate --jq '.[].filename | select(test("/change-notes/.*[.]md$"))')
-
37
+
38
if [ -z "$change_note_files" ]; then
39
echo "No change note found. Either add one, or add the 'no-change-note-required' label."
40
exit 1
0 commit comments