Apologies if this is the wrong repo; I think reports are now generated by a GitHub action, but I'm not sure, and I don't know where that code is. Feel free to move the issue to the relevant repo!
I see the GitHub REST API exposes the ability to pin a comment, which makes it appear right below the PR description: https://docs.github.com/en/rest/issues/comments?apiVersion=2026-03-10#pin-an-issue-comment
It could be handy to leverage this functionality for some bot comments, such as the build reports?
Apologies if this is the wrong repo; I think reports are now generated by a GitHub action, but I'm not sure, and I don't know where that code is. Feel free to move the issue to the relevant repo!
I see the GitHub REST API exposes the ability to pin a comment, which makes it appear right below the PR description: https://docs.github.com/en/rest/issues/comments?apiVersion=2026-03-10#pin-an-issue-comment
It could be handy to leverage this functionality for some bot comments, such as the build reports?