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