From 8e509d34b596a625b73dbb3df8baaa55e29c6d91 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Apr 2022 19:05:42 +0100
Subject: [PATCH] remove test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/release.yml | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/scripts/release.yml b/scripts/release.yml
index 2451d8233..71557021a 100644
--- a/scripts/release.yml
+++ b/scripts/release.yml
@@ -54,14 +54,6 @@ stages:
         scriptSource: 'filepath'
         scriptPath: scripts/mk_unix_dist.py
         arguments: --dotnet-key=$(Build.SourcesDirectory)/resources/z3.snk --nojava --arch=arm64
-    - script: git clone https://github.com/z3prover/z3test z3test
-      displayName: 'Clone z3test'
-    - task: PythonScript@0
-      displayName: Test
-      inputs:
-        scriptSource: 'filepath'
-        scriptPath: z3test/scripts/test_benchmarks.py
-        arguments: build-dist/z3 z3test/regressions/smt2
     - task: CopyFiles@2
       inputs:
         sourceFolder: dist