CI: Fix up JS syntax in GnuComment
@@ -16,14 +16,14 @@ jobs:
uses: actions/github-script@v3.1.0
with:
script: |
- # List all artifacts from GnuTests
+ // List all artifacts from GnuTests
var artifacts = await github.actions.listWorkflowRunArtifacts({
owner: context.repo.owner,
repo: context.repo.repo,
run_id: ${{ github.event.workflow_run.id }},
});
- # Download the "comment" artifact, which contains a PR number (NR) and result.txt
+ // Download the "comment" artifact, which contains a PR number (NR) and result.txt
var matchArtifact = artifacts.data.artifacts.filter((artifact) => {
return artifact.name == "comment"
})[0];
