diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml
index cd88f547e..0b9ab9493 100644
--- a/.github/workflows/test-verific.yml
+++ b/.github/workflows/test-verific.yml
@@ -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' }}