On pull request push, perform a build with test reports shown and coverage evaluated (and compared with main)

I will follow recommendatioins given inf ailed release... #185

Sign in to view logs

The logs for this run have expired and are no longer available.