Temporarily disable PR comment to report doc coverage (#38)

AdaptiveMotorControlLab · Jun 30, 2023 · f900696 · f900696
1 parent 73acd43
commit f900696
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/.github/workflows/doc-coverage.yml b/.github/workflows/doc-coverage.yml
@@ -66,14 +66,14 @@ jobs:
         RESULT="${RESULT//$'\r'/'%0D'}"
         echo "::set-output name=result::$RESULT"
       continue-on-error: true
-    - name: comment documentation result on PR
-      uses: thollander/actions-comment-pull-request@v1
-      with:
-        message: |
-          ## Docstring Coverage Report
-          ${{ steps.documentation.outputs.result }}
-        comment_includes: '## Docstring Coverage Report'
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+    #- name: comment documentation result on PR
+    #  uses: thollander/actions-comment-pull-request@v1
+    #  with:
+    #    message: |
+    #      ## Docstring Coverage Report
+    #      ${{ steps.documentation.outputs.result }}
+    #    comment_includes: '## Docstring Coverage Report'
+    #    GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     # following snippet borrowed from
     # https://stackoverflow.com/a/58003436
     # CC BY-SA 4.0, Peter Evans