Fix after re-review.

Author: adiroiban

.github/scripts/pr_comment.js

@@ -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,

.github/workflows/ci.yml

@@ -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*