Merge pull request #4035 from tertsdiepraam/update-github-script

CI/GnuComment: update github-script action
This commit is contained in:
Sylvestre Ledru 2022-10-12 18:53:41 +02:00 committed by GitHub
commit bd5e46ab67
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,11 +13,11 @@ jobs:
github.event.workflow_run.event == 'pull_request' github.event.workflow_run.event == 'pull_request'
steps: steps:
- name: 'Download artifact' - name: 'Download artifact'
uses: actions/github-script@v3.1.0 uses: actions/github-script@v6
with: with:
script: | script: |
// List all artifacts from GnuTests // List all artifacts from GnuTests
var artifacts = await github.actions.listWorkflowRunArtifacts({ var artifacts = await github.rest.actions.listWorkflowRunArtifacts({
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
run_id: ${{ github.event.workflow_run.id }}, run_id: ${{ github.event.workflow_run.id }},
@ -27,7 +27,7 @@ jobs:
var matchArtifact = artifacts.data.artifacts.filter((artifact) => { var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
return artifact.name == "comment" return artifact.name == "comment"
})[0]; })[0];
var download = await github.actions.downloadArtifact({ var download = await github.rest.actions.downloadArtifact({
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
artifact_id: matchArtifact.id, artifact_id: matchArtifact.id,
@ -38,7 +38,7 @@ jobs:
- run: unzip comment.zip - run: unzip comment.zip
- name: 'Comment on PR' - name: 'Comment on PR'
uses: actions/github-script@v3 uses: actions/github-script@v6
with: with:
github-token: ${{ secrets.GITHUB_TOKEN }} github-token: ${{ secrets.GITHUB_TOKEN }}
script: | script: |
@ -46,7 +46,7 @@ jobs:
var issue_number = Number(fs.readFileSync('./NR')); var issue_number = Number(fs.readFileSync('./NR'));
var content = fs.readFileSync('./result.txt'); var content = fs.readFileSync('./result.txt');
if (content.toString().trim().length > 7) { // 7 because we have backquote + \n if (content.toString().trim().length > 7) { // 7 because we have backquote + \n
await github.issues.createComment({ await github.rest.issues.createComment({
owner: context.repo.owner, owner: context.repo.owner,
repo: context.repo.repo, repo: context.repo.repo,
issue_number: issue_number, issue_number: issue_number,