From fc4c1dac25b9656ac972f8968ce32aabf64b7797 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Feb 2020 09:10:03 -0800
Subject: [PATCH] skip debug test for macos build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 azure-pipelines.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 9b9ee55e1..a966b4566 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -147,7 +147,8 @@ jobs:
         ./cpp_example
         ./c_example
         cd ..
-    - template: scripts/test-z3.yml
+# Skip as dead-slow in debug mode:
+#  - template: scripts/test-z3.yml
     - template: scripts/test-regressions.yml