From 796d37daa77e9e68d02c992cd59bc3eb756af392 Mon Sep 17 00:00:00 2001 From: Thomas Krause Date: Tue, 11 Aug 2026 13:14:06 +0200 Subject: [PATCH 1/2] Only add comment to PR if it is not coming from a fork Writing to the PR (e.g. adding a comment) won't work: https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#restrictions-on-repository-forks --- .github/workflows/verify.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index 3aa3ee5f2..45ef9a149 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -61,6 +61,9 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} COMMENT_OUTPUT: TRUE - uses: mshick/add-pr-comment@v3 + # Check if the event is not triggered by a fork before attempting to add a comment + # see https://github.com/peter-evans/create-pull-request/blob/main/docs/concepts-guidelines.md#restrictions-on-repository-forks + if: github.event.pull_request.head.repo.full_name == github.repository with: message: | Commit ${{ github.event.pull_request.head.sha }} From e36facc612bc9d76b664eb6e94c003e94ff995e5 Mon Sep 17 00:00:00 2001 From: Thomas Krause Date: Tue, 11 Aug 2026 13:27:47 +0200 Subject: [PATCH 2/2] Typo in install command --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4aadd20e3..3b932790c 100644 --- a/README.md +++ b/README.md @@ -40,7 +40,7 @@ To run all checks that have to pass for a merge requests locally, first make sur ```bash cargo install cargo-llvm-cov -pipx install diff_cover +pipx install diff-cover ``` Then, run the following command to run all checks including code coverage: