jacobdomagala/Post warnings/errors as PR comment
GitHub action that parses the compile output and will create PR comment with warnings/errors listed
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| compile_result_file | The file that contains the compilation result | yes | — |
| compiler | The compiler that was used to produce the output (MSVC/GNU/CLANG) | yes | GNU |
| token | GITHUB_TOKEN or a repo scoped PAT. | yes | ${{ github.token }} |
| work_dir | The action work directory | yes | ${{ github.workspace }} |
| exclude_dir | The full path to the directory that should be ignored | — | — |
| pull_request_number | The Github Pull Request number | yes | ${{ github.event.pull_request.number }} |
| comment_title | The comment title that will be displayed on top of the comment. It is also used to determine whether the comment already exists and should be edited or not. | yes | COMPILE RESULT |
| num_lines_to_display | The number of lines for the code snippet that will be displayed for each error/warning | — | 5 |
| debug_output | Use this input to generate debug prints | — | false |
| server_url | URL of GitHub Enterprise server (defaults to github.com) | — | https://github.com |
Outputs
no outputs