diff options
| author | Warrick Lo <wlo@warricklo.net> | 2026-05-08 12:37:46 -0700 |
|---|---|---|
| committer | Warrick Lo <wlo@warricklo.net> | 2026-05-08 12:37:46 -0700 |
| commit | 2b3b6e3719d089252ba202d4ea720fc3391208cf (patch) | |
| tree | 532000c087baf1007eda5910a4767dee9a19ad1c /.github | |
| parent | Add GitHub Actions for linting and formatting (diff) | |
| download | montreal-2b3b6e3719d089252ba202d4ea720fc3391208cf.tar.xz montreal-2b3b6e3719d089252ba202d4ea720fc3391208cf.zip | |
Add CI linter rules
Signed-off-by: Warrick Lo <wlo@warricklo.net>
Diffstat (limited to '')
| -rw-r--r-- | .github/workflows/lint.yaml | 4 |
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") |