mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-23 12:59:15 +00:00
Code Activity

Fix yml for verific tests

Browse source
This commit is contained in:
Miodrag Milanovic 2026-03-20 16:36:36 +01:00
parent 57bf4378d3
commit 0f1f20d0ed
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/test-verific.yml vendored
View file

@ -78,7 +78,7 @@ jobs:
- name: Run Verific specific Yosys tests
run: |
make -C tests/sva
cd tests/svtypes && bash run-test.sh
make -C tests/svtypes
- name: Run SBY tests
if: ${{ github.event_name == 'merge_group' || github.event_name == 'workflow_dispatch' }}