No summary on github PR?

[AArnott]

I'm trying to adopt your test logger (thanks!). The annotations in the diff view appeared as expected. But the summary comment on the main PR page didn't show up.

AArnott/Nerdbank.MessagePack#165

Any idea why?

[Tyrrrz]

I see it here: https://github.com/AArnott/Nerdbank.MessagePack/actions/runs/12321313659?pr=165

Is there some other place you expected to see it?

[AArnott]

Oh!
Nah, that's just my ignorance as to how GitHub Actions works. I was looking at the PR page rather than the Actions page. Thanks.