2020-07-15 03:09:08 +03:00
|
|
|
name: 'DevSkim'
|
2021-10-21 23:38:45 +03:00
|
|
|
description: 'Run DevSkim Code Analysis and output Sarif compatible with GitHub Code Scanning alerts'
|
2020-07-15 03:09:08 +03:00
|
|
|
inputs:
|
|
|
|
directory-to-scan:
|
2020-07-15 09:57:50 +03:00
|
|
|
description: 'The sub directory of the repository root to scan. Repository root used by default.'
|
2020-07-15 03:09:08 +03:00
|
|
|
required: false
|
2020-08-08 19:25:50 +03:00
|
|
|
default: 'GITHUB_WORKSPACE'
|
2020-07-15 03:09:08 +03:00
|
|
|
should-scan-archives:
|
|
|
|
description: 'Optionally scan the contents of archives.'
|
|
|
|
required: false
|
|
|
|
default: false
|
|
|
|
output-filename:
|
2020-07-15 06:10:52 +03:00
|
|
|
description: 'The filename for the output.'
|
2020-07-15 03:09:08 +03:00
|
|
|
required: false
|
2020-08-08 19:25:50 +03:00
|
|
|
default: 'devskim-results.sarif'
|
2020-07-15 06:10:52 +03:00
|
|
|
output-directory:
|
2020-07-15 07:19:25 +03:00
|
|
|
description: 'The sub directory for the output under GITHUB_WORKSPACE.'
|
2020-07-15 06:10:52 +03:00
|
|
|
required: false
|
2020-08-08 19:25:50 +03:00
|
|
|
default: 'GITHUB_WORKSPACE'
|
2021-10-21 23:38:45 +03:00
|
|
|
ignore-globs:
|
|
|
|
description: 'Optional comma separated list of file globs to ignore when scanning.'
|
|
|
|
required: false
|
|
|
|
default: "**/.git/**,**/bin/**"
|
2023-06-26 18:53:01 +03:00
|
|
|
exclude-rules:
|
|
|
|
description: 'Optional comma separated list of rule IDs to ignore'
|
|
|
|
required: false
|
|
|
|
default: ""
|
2023-06-26 23:26:56 +03:00
|
|
|
options-json:
|
|
|
|
description: 'Optional path in the repository containing a json to provide to the --options-json argument'
|
|
|
|
required: false
|
|
|
|
default: ""
|
2023-06-27 00:00:38 +03:00
|
|
|
extra-options:
|
|
|
|
description: 'Provide any other command line arguments for the DevSkim analyze command. See DevSkim documentation for usage instructions.'
|
|
|
|
required: false
|
|
|
|
default: ""
|
2020-07-15 05:08:52 +03:00
|
|
|
branding:
|
|
|
|
icon: 'check-square'
|
|
|
|
color: 'green'
|
2020-07-15 03:09:08 +03:00
|
|
|
runs:
|
|
|
|
using: 'docker'
|
|
|
|
image: 'Dockerfile'
|
|
|
|
args:
|
|
|
|
- ${{ inputs.directory-to-scan }}
|
|
|
|
- ${{ inputs.should-scan-archives }}
|
2020-07-15 06:10:52 +03:00
|
|
|
- ${{ inputs.output-filename }}
|
2020-08-08 17:50:06 +03:00
|
|
|
- ${{ inputs.output-directory }}
|
2023-06-26 18:53:01 +03:00
|
|
|
- ${{ inputs.ignore-globs }}
|
2023-06-27 00:00:38 +03:00
|
|
|
- ${{ inputs.exclude-rules }}
|
|
|
|
- ${{ inputs.options-json }}
|
|
|
|
- ${{ inputs.extra-options }}
|