From 76e8e5720484374ba1d33e1be16d912ea9c64388 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 26 Dec 2021 13:12:50 -0800
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines

remove flaky MacOS build tests
---
 azure-pipelines.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index f6753c09b..0057add97 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -310,8 +310,8 @@ jobs:
         eval `opam config env`
         make -j3
         make -j3 _ex_ml_example_post_install
-        ./ml_example_shared.byte
-        ./ml_example_shared_custom.byte
+        # ./ml_example_shared.byte
+        # ./ml_example_shared_custom.byte
         # ./ml_example_shared
         cd ..
 # Skip as dead-slow in debug mode: