mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-14 02:16:23 +00:00
Bump actions/github-script from 7 to 8
Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 8. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v7...v8) --- updated-dependencies: - dependency-name: actions/github-script dependency-version: '8' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
This commit is contained in:
1 parent
30665306f5
commit
dd8662d354
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