mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-11 03:13:41 +00:00
Bump actions/github-script from 6 to 7
Bumps [actions/github-script](https://github.com/actions/github-script) from 6 to 7. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v6...v7) --- updated-dependencies: - dependency-name: actions/github-script 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
0a1320be1e
commit
6821cd8bea
1 file changed
+2
-2
@@ -19,7 +19,7 @@ jobs:
|
||||
|
||||
- name: Check if PR was merged
|
||||
id: pr-merge-check
|
||||
uses: actions/github-script@v6
|
||||
uses: actions/github-script@v7
|
||||
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@v6
|
||||
uses: actions/github-script@v7
|
||||
with:
|
||||
github-token: ${{ steps.create_token.outputs.token }}
|
||||
script: |
|
||||
|
||||
Reference in new issue
Block a user