Remove check run logging
Remove check run logging

It only comes from external services. Not helpful for use with
alerting if a GitHub action fails and sending to Zulip.

sgebbie/ponyc,jemc/ponyc,sgebbie/ponyc,ponylang/ponyc,dipinhora/ponyc,ponylang/ponyc,dipinhora/ponyc,sgebbie/ponyc,sgebbie/ponyc,jemc/ponyc,ponylang/ponyc,dipinhora/ponyc,sgebbie/ponyc,jemc/ponyc