Add a report comment to PRs - Githubissues

ricardoboss / STEP

The STEP programming language

http://step-lang.dev/

MIT License

5 stars 1 forks source link

Add a report comment to PRs #108

Closed ricardoboss closed 1 year ago

ricardoboss commented 1 year ago

This PR is a cherry pick and subsequent continuation of changes to the dotnet.yml workflow from the branch issues/103-docblocks (at 5897eaf901f93044b60c516b763e4edab1d95b03).

It aims to provide a quick an easy way to get a broad overview of the impact of a pull request by adding a comment to the PR containing information such as the updated code coverage, whether the code is properly formatted and what percentage of public methods is documented.

To provide the information for code coverage, a new PR was opened at irongut/CodeCoverageSummary so it can provide information about coverage in a way GitHub actions can process it. See https://github.com/irongut/CodeCoverageSummary/pull/233 for more info. For the time being, a fork of that repository that already includes the PR is used (see https://github.com/ricardoboss/CodeCoverageSummary/tree/dev).

github-actions[bot] commented 1 year ago

Report

Static Analysis:

Code Style: ✅ OK
Docblocks: 55 / 619 (8%)