Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: Don't crash when unable to post comment to PR
... by not ever posting such comments from this workflow. There will be a separate PR for the other workflow that does post comments, because it needs to be in the master branch. Part of #5659.
- Loading branch information