diff options
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/lint.yaml | 4 | ||||
| -rw-r--r-- | lint.rules | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml index e28e711..94ad728 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/lint.yaml @@ -9,4 +9,8 @@ jobs: - uses: actions/checkout@master - uses: chipsalliance/verible-linter-action@main with: + config_file: "lint.rules" github_token: ${{ secrets.GITHUB_TOKEN }} + - name: Fail on lint errors + run: | + verible-verilog-lint --lint_fatal=true --rules_config=lint.rules $(find . -name "*.sv" -o -name "*.v") diff --git a/lint.rules b/lint.rules new file mode 100644 index 0000000..6ccb7f4 --- /dev/null +++ b/lint.rules @@ -0,0 +1,2 @@ ++port-name-suffix ++dff-name-style |