From 78222f274cfdc5a1194e02172b1cee45a3196b0d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 22 Dec 2021 07:55:59 -0800
Subject: [PATCH] remove action that fails too often

---
 azure-pipelines.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index ea894a93a..f6753c09b 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -312,7 +312,7 @@ jobs:
         make -j3 _ex_ml_example_post_install
         ./ml_example_shared.byte
         ./ml_example_shared_custom.byte
-        ./ml_example_shared
+        # ./ml_example_shared
         cd ..
 # Skip as dead-slow in debug mode:
 #  - template: scripts/test-z3.yml