From 56e148d4af50e8c0d441ebdbbb8c3860f43986a6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 27 Feb 2020 09:32:30 -0800
Subject: [PATCH] create 18 pipeline

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

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 7b9474c74..907e2eeb6 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -33,7 +33,7 @@ jobs:
 #       ./cpp_example
 #       ./c_example
 
-- job: "Ubuntu18 with ocaml"
+- job: "Ubuntu18"
   displayName: "Ubuntu 18 with ocaml"
   pool:
     vmImage: "Ubuntu-18.04"