Skip to content

Commit

Permalink
Fix after re-review.
Browse files Browse the repository at this point in the history
  • Loading branch information
adiroiban committed Nov 5, 2022
1 parent dac2d58 commit 12f3c81
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion .github/scripts/pr_comment.js
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ module.exports = async ({github, context, process}) => {
process.env.GITHUB_WORKSPACE + "/" + process.env.COMMENT_BODY, 'utf8');
var comment_id = null
var comment_marker = '\n' + process.env.COMMENT_MARKER
var comment_body = body + comment_marker
var comment_body = body + comment_marker

var comments = await octokit_rest.issues.listComments({
owner: context.repo.owner,
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -100,10 +100,10 @@ jobs:
uses: actions/upload-artifact@v3
with:
# We have a single artifact shared for each workflow run.
# in this way we should intefere with coverage reports from other PRs
# in this way we should not interfere with coverage reports from other PRs
# or previous runs for the same PR.
name: coverage-${{ github.run_id }}
# Is important to keep the unique names for the coverage files
# It is important to keep the unique names for the coverage files
# so that when uploaded to the same artifact, they don't overlap.
path: .coverage*

Expand Down

0 comments on commit 12f3c81

Please sign in to comment.