From ab83a36d23350980adf478518b60f2519b0905fe Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 15 Sep 2025 08:46:11 -0700
Subject: [PATCH] Update test-sanitizers.yml

---
 .github/workflows/test-sanitizers.yml | 3 +++
 1 file changed, 3 insertions(+)

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: |