From 514c55f53f411a68b7c7afd2d05252ac9a3a5386 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 20 Mar 2026 16:36:36 +0100
Subject: [PATCH] Fix yml for verific tests

---
 .github/workflows/test-verific.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml
index 65efca79f..132aac589 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' }}