2022-11-01 08:07:10 +01:00
|
|
|
name: 'Run Clippy with reviewdog'
|
2022-11-10 14:35:17 +01:00
|
|
|
description: '🐶 Run Clippy with reviewdog on pull requests to improve code review experience'
|
|
|
|
author: 'Takayuki Nakata'
|
|
|
|
branding:
|
|
|
|
icon: "check-circle"
|
|
|
|
color: "blue"
|
2022-11-01 06:58:59 +01:00
|
|
|
inputs:
|
2022-11-01 08:07:10 +01:00
|
|
|
github_token:
|
|
|
|
description: "GITHUB_TOKEN."
|
2023-01-27 16:54:01 +01:00
|
|
|
required: false
|
2022-11-01 08:07:10 +01:00
|
|
|
default: ${{ github.token }}
|
2022-11-10 14:35:17 +01:00
|
|
|
clippy_flags:
|
|
|
|
description: "clippy flags. (cargo clippy --color never -q --message-format json `<clippy_flags>`)"
|
|
|
|
required: false
|
|
|
|
default: ""
|
2022-11-01 08:07:10 +01:00
|
|
|
tool_name:
|
|
|
|
description: "Tool name to use for reviewdog reporter"
|
|
|
|
required: false
|
|
|
|
default: "clippy"
|
|
|
|
level:
|
|
|
|
description: "Report level for reviewdog [info,warning,error]"
|
|
|
|
required: false
|
|
|
|
default: "error"
|
|
|
|
reporter:
|
|
|
|
description: "Reporter of reviewdog command [github-pr-check,github-pr-review,github-check]."
|
|
|
|
required: false
|
|
|
|
default: "github-pr-check"
|
|
|
|
filter_mode:
|
|
|
|
description: |
|
|
|
|
Filtering for the reviewdog command [added,diff_context,file,nofilter].
|
|
|
|
Default is added.
|
|
|
|
required: false
|
|
|
|
default: "added"
|
|
|
|
fail_on_error:
|
|
|
|
description: |
|
|
|
|
Exit code for reviewdog when errors are found [true,false]
|
|
|
|
Default is `false`.
|
|
|
|
required: false
|
|
|
|
default: "false"
|
|
|
|
reviewdog_flags:
|
|
|
|
description: "Additional reviewdog flags"
|
|
|
|
required: false
|
|
|
|
default: ""
|
|
|
|
workdir:
|
|
|
|
description: "Working directory relative to the root directory."
|
|
|
|
required: false
|
|
|
|
default: "."
|
|
|
|
reviewdog_version:
|
|
|
|
description: "the version of reviewdog"
|
|
|
|
required: false
|
|
|
|
default: latest
|
2022-11-01 06:58:59 +01:00
|
|
|
runs:
|
2024-03-27 23:18:19 +01:00
|
|
|
using: 'node20'
|
2022-11-01 06:58:59 +01:00
|
|
|
main: 'dist/index.js'
|