diff --git a/.github/workflows/test-sanitizers.yml b/.github/workflows/test-sanitizers.yml
index ffe8bbeee..dbba72a3d 100644
--- a/.github/workflows/test-sanitizers.yml
+++ b/.github/workflows/test-sanitizers.yml
@@ -93,6 +93,9 @@ jobs:
         run: |
           iverilog -V
 
+      - name: Build Verific
+        run: cd verific/tclmain && make -j$procs
+
       - name: Build
         shell: bash
         run: |