aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/lint.yaml4
1 files changed, 4 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")