From da154b2f7ef2cd9b4e71dcca36cf78ec3216c03c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Jan 2022 19:44:20 -0800
Subject: [PATCH] disable macos with ocaml as it fails too often

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

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 0057add97..bff70c859 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -288,6 +288,7 @@ jobs:
 
 - job: "MacOSOCaml"
   displayName: "MacOS build with OCaml"
+  condition: eq(0,1) 
   pool:
     vmImage: "macOS-latest"
   steps: