Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 12 additions & 3 deletions slang/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,16 @@ inputs:
description: 'Flags to pass to slang. Must at least include the file list.'
required: true
default: ''
reviewdog-filter-mode:
description: 'Filter diagnostics by changed lines or files.
One of: added, diff_context, file, nofilter.'
required: false
default: nofilter
reviewdog-fail-level:
description: 'Minimum diagnostic severity that fails the job.
One of: none, any, info, warning, error.'
required: false
default: none
reviewdog-reporter:
description: 'Reporter to use for reviewdog. Defaults to github-check.'
required: false
Expand Down Expand Up @@ -54,13 +64,12 @@ runs:

- name: Run reviewdog
shell: bash
continue-on-error: true
env:
REVIEWDOG_GITHUB_API_TOKEN: ${{ inputs.token }}
run: |
uv run ${{ github.action_path }}/slang_to_rdjson.py slang_diags.json \
| reviewdog -f=rdjson \
-name=${{ inputs.reviewdog-name }} \
-reporter=${{ inputs.reviewdog-reporter }} \
-filter-mode=nofilter \
-fail-level=error
-filter-mode=${{ inputs.reviewdog-filter-mode }} \
-fail-level=${{ inputs.reviewdog-fail-level }}
Empty file added sources.flist
Empty file.