diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml
index 54d582063..619db3e94 100644
--- a/.github/workflows/test-verific.yml
+++ b/.github/workflows/test-verific.yml
@@ -82,12 +82,14 @@ jobs:
 
       - name: Run Yosys tests
         run: |
-          make -C tests -j$procs vanilla-test
+          YOSYS_NOVERIFIC=1 make -C tests -j$procs vanilla-test
 
       - name: Run Verific specific Yosys tests
         run: |
+          make -C tests prep
           make -C tests/sva
           make -C tests/svtypes
+          make -C tests/check_mem
 
       - name: Run coverage
         if: ${{ github.event_name != 'merge_group'}}
diff --git a/tests/verilog/.gitignore b/tests/verilog/.gitignore
index 6a226989c..70e9b6c29 100644
--- a/tests/verilog/.gitignore
+++ b/tests/verilog/.gitignore
@@ -8,3 +8,4 @@
 /assign_to_reg.v
 /subdir
 /temp_foo.v
+/temp