pull request comment on ```issue_comment``` event

[tsebastiani]

I've a github action that is triggered by a comment on pull requests (not push or new pull request), having the pull request number as an input to the coverall step that could come from ${{ github.event.issue.number }} , would be possible to add the comment to the pr with the coverage and the badge as for the push and pull_request event?