Turns out we cannot comment on the PR either.

RipplB · Jul 27, 2024 · 4216e40 · 4216e40
1 parent 61421ee
commit 4216e40
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/actions/benchexec-report/action.yml b/.github/actions/benchexec-report/action.yml
@@ -69,6 +69,7 @@ runs:
     - name: Comment on PR
       if: github.event_name == 'pull_request'
       uses: thollander/actions-comment-pull-request@dadb7667129e23f12ca3925c90dc5cd7121ab57e
+      continue-on-error: true # if we are in a fork, this will fail, but we don't care (tables will be missing)
       with: 
         comment_tag: 'diffcheck'
         mode: 'recreate'