Skip to content

Commit dcb6117

Browse files
committed
run rtl Verification
Signed-off-by: Kareem Farid <kareefardi@users.noreply.github.com>
1 parent 5867d33 commit dcb6117

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

.github/workflows/test.yaml

+4-1
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,9 @@ jobs:
88
runs-on: ubuntu-latest
99
steps:
1010
- uses: actions/checkout@v4
11-
- name: Run make setup
11+
- name: Setup Dependencies
1212
run: |
1313
make setup
14+
- name: Run RTL Verification
15+
run: |
16+
make cocotb-verify-all-rtl

0 commit comments

Comments
 (0)