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