Fix lint (currently excluding generated file)

pulp-platform · Jul 29, 2024 · 684ccf1 · 684ccf1
1 parent eff77ac
commit 684ccf1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.github/verible.waiver b/.github/verible.waiver
@@ -3,4 +3,4 @@
 # SPDX-License-Identifier: Apache-2.0
 
 waive --rule=explicit-parameter-storage-type --location="src/memory_island_core.sv" --line=43
-waive --rule=explicit-parameter-storage-type --location="src/axi_memory_island_wrap.sv" --line=54
+waive --rule=explicit-parameter-storage-type --location="src/axi_memory_island_wrap.sv" --line=60
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -23,7 +23,8 @@ jobs:
           paths: |
             ./src
             ./test
-          exclude_paths:
+          exclude_paths: |
+            src/dma/memory_island_dma_generated.sv
           extra_args: "--waiver_files .github/verible.waiver --rules=-interface-name-style --lint_fatal --parse_fatal"
           github_token: ${{ secrets.GITHUB_TOKEN }}
           reviewdog_reporter: github-check