This action checks the report of Infer with reviewdog
This action is not run Infer, You can install Infer on the runner with setup-infer
Optional. ${{ github.token }}
is used by default.
Optional. Infer report directory path.
Default is ./infer-out
.
Optional. Tool name to use for reviewdog reporter. Useful when running multiple actions with different config.
Optional. Report level for reviewdog [info
, warning
, error
].
It's same as -level
flag of reviewdog.
Optional. Reporter of reviewdog command [github-pr-check
, github-pr-review
].
The default is github-pr-check
.
Optional. Filtering mode for the reviewdog command [added
, diff_context
, file
, nofilter
].
Default is added
.
Optional. Exit code for reviewdog when errors are found [true
, false
]
Default is false
.
Optional. Additional reviewdog flags.
name: reviewdog
on: [pull_request]
jobs:
infer:
name: runner / infer
runs-on: ubuntu-latest
steps:
- name: Check out code
uses: actions/checkout@v1
- name: Setup Infer
uses: srz-zumix/setup-infer@v1
- name: Infer
run: |
infer -- make
- name: Check Infer report
uses: srz-zumix/reviewdog-action-infer@v1
with:
reporter: github-pr-review # Default is github-pr-check