mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-13 16:15:27 +00:00
Merge pull request #2666 from open-domains/dependabot/github_actions/actions/github-script-8
Bump actions/github-script from 7 to 8
This commit is contained in:
1 file changed
+2
-2
@@ -19,7 +19,7 @@ jobs:
|
||||
|
||||
- name: Check if PR was merged
|
||||
id: pr-merge-check
|
||||
uses: actions/github-script@v7
|
||||
uses: actions/github-script@v8
|
||||
with:
|
||||
script: |
|
||||
return context.payload.pull_request.merged
|
||||
@@ -33,7 +33,7 @@ jobs:
|
||||
# Post the content of merged.md as a comment using the custom token
|
||||
- name: Post comment on PR
|
||||
if: steps.pr-merge-check.outputs.result == 'true'
|
||||
uses: actions/github-script@v7
|
||||
uses: actions/github-script@v8
|
||||
with:
|
||||
github-token: ${{ steps.create_token.outputs.token }}
|
||||
script: |
|
||||
|
||||
Reference in new issue
Block a user