adiar
adiar copied to clipboard
Fix Benchmark CI breaks for Forks
As was evident in #447 and #450 , the benchmarking CI breaks for non-collaborators, since they do not have any privileges to post a comment on this repo (for reasonably good reasons). We should let the last step of that GitHub action not have an impact on the success of the overall task.