Coverage action failing on external PRs

```
Error: Resource not accessible by integration - https://docs.github.com/rest/issues/comments#create-an-issue-comment
```

Probably need to add permissions to the token:

```
jobs:
job-name:
permissions:
pull-requests: write
```

Untersuche den Workflow, der die Coverage ausführt und Kommentare zu externen Pull Requests veröffentlicht. Reproduziere den Berechtigungsfehler eines externen PRs und überprüfe anschließend, dass der Workflow seinen Coverage-Kommentar mit der erforderlichen Pull-Request-Berechtigung erfolgreich erstellen kann.

Vom Indexierungsmodell aus dem Issue-Text verfasst.