[leshan] github action issue : Resource not accessible by integration

At Leshan project we started to use github action to do some check on new PR.

All seems to work when PR comes from committer.

But when this comes from external contributor we get : Resource not accessible by integration

You can find the corresponding github issue at : https://github.com/eclipse/leshan/issues/1314

I think our workflow need :

jobs:
  build:
    # To be able :
    #  - to write/remove comments on PR,
    #  - to create checks for Test Report.
    permissions:  
      pull-requests: write
      checks: write  

Do you have any idea what could be the right / secure way to handle this ? 🙏