Remove docstring coverage bot comment (#637)

.github/workflows/main.yml

@@ -23,7 +23,7 @@ jobs:
           pip install "yapf==0.30.0"
           bash format.sh --test
 
-  code_docstring:
+  docstring_coverage:
     if: github.event_name != 'push' || github.ref != 'refs/heads/main'
     runs-on: ubuntu-latest
     steps:
@@ -58,21 +58,6 @@ jobs:
             exit 1
           fi
           printf 'Docstring coverage check successful! We require the docstring coverage to be non-decreasing after PR. You have changed the coverage by: %s%%\n' "$improvement"
-          roundedbefore=`printf "%.2f" $before`
-          roundedafter=`printf "%.2f" $after`
-          roundedimprovement=`printf "%.3f" $improvement`
-          ROBOTMSG="[BOT] Great job! You have changed the docstring coverage from ${roundedbefore}\% to ${roundedafter}\%, improving ${roundedimprovement}\%."
-          echo $ROBOTMSG
-          echo "ROBOTMSG=$ROBOTMSG" >> "$GITHUB_ENV"
-      - uses: actions/github-script@v6
-        with:
-          script: |
-            github.rest.issues.createComment({
-              issue_number: context.issue.number,
-              owner: context.repo.owner,
-              repo: context.repo.repo,
-              body: `${{env.ROBOTMSG}}`
-            })
 
   test_functionality:
     runs-on: ubuntu-latest