diff --git a/.github/workflows/ci-nightly-build.yaml b/.github/workflows/ci-nightly-build.yaml
index bfb5b4d..262245e 100644
--- a/.github/workflows/ci-nightly-build.yaml
+++ b/.github/workflows/ci-nightly-build.yaml
@@ -6,6 +6,10 @@ on:
     - cron: '0 2 * * *'
   workflow_dispatch: # Allow manual triggering
 
+env:
+  Z3_VERSION: "4.15.4"
+  GLIBC_Z3: "2.39"
+
 jobs:
   test-nightly-lean:
     runs-on: ubuntu-latest
@@ -47,6 +51,13 @@ jobs:
         run: |
           lake update
           lake build Solver
+
+      - name: Build Tests
+        id: build-tests
+        continue-on-error: true
+        timeout-minutes: 30
+        run: |
+          lake build Tests
           
       - name: Check build status
         run: |