ci: make the PR comment optional so dependabot PRs pass CI

ReadAlongs · Apr 18, 2024 · 5166562 · 5166562
1 parent 4b0ad9d
commit 5166562
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -73,6 +73,7 @@ jobs:
 
       - name: Report help speed in a PR comment
         if: github.event_name == 'pull_request'
+        continue-on-error: true
         uses: mshick/add-pr-comment@v2
         with:
           preformatted: true