File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -66,11 +66,21 @@ jobs:
6666 - name : Checkout code
6767 uses : actions/checkout@v4
6868
69+ - name : get srcs
70+ id : get-srcs
71+ run : |
72+ echo "srcs=$(make print_srcs)" >> $GITHUB_OUTPUT
73+ echo "tb_srcs=$(make print_tb_srcs)" >> $GITHUB_OUTPUT
74+
6975 - name : lint sources
70- run : make svlint
76+ uses : dalance@svlint-action@v1.0.2
77+ with :
78+ files : ${{ steps.get-srcs.outputs.srcs }}
7179
72- - name : lint testbench
73- run : make svlint_tb
80+ - name : lint testbenches
81+ uses : dalance@svlint-action@v1.0.2
82+ with :
83+ files : ${{ steps.get-srcs.outputs.tb_srcs }}
7484
7585 build_and_test :
7686 needs : build_ci_image
Original file line number Diff line number Diff line change @@ -15,6 +15,12 @@ TB_UTILS := test/utils.svh
1515
1616TB_VCD_BASE_PATH := test/vcd
1717
18+ print_srcs :
19+ @echo $(SRCS )
20+
21+ print_tb_srcs :
22+ @echo $(TB_SRCS )
23+
1824build_top : $(OUTPUT )
1925
2026run_top : $(OUTPUT )
You can’t perform that action at this time.
0 commit comments