diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 8aa75a554..bc5b5cd5a 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -39,13 +39,7 @@ jobs:
       
       - name: Build
         run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=x64
-      
-      - name: Clone z3test
-        run: git clone https://github.com/z3prover/z3test z3test
-      
-      - name: Test
-        run: python z3test/scripts/test_benchmarks.py build-dist/z3 z3test/regressions/smt2
-      
+            
       - name: Upload artifact
         uses: actions/upload-artifact@v6
         with:
@@ -68,10 +62,7 @@ jobs:
       
       - name: Build
         run: python scripts/mk_unix_dist.py --dotnet-key=$GITHUB_WORKSPACE/resources/z3.snk --arch=arm64
-      
-      - name: Clone z3test
-        run: git clone https://github.com/z3prover/z3test z3test
-      
+            
       - name: Upload artifact
         uses: actions/upload-artifact@v6
         with: