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
```

Esamina il workflow che esegue la coverage e pubblica commenti su pull request esterne. Riproduci l’errore di autorizzazione di una PR esterna, quindi verifica che il workflow possa creare correttamente il proprio commento sulla coverage con l’autorizzazione richiesta per le pull request.

Scritto dal modello di indicizzazione a partire dal testo della issue.