From 4b7c08d08d1fb028e6f40e23bfd20f63de933dc9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 25 Oct 2021 11:30:56 +0200
Subject: [PATCH] Update azure-pipelines.yml for Azure Pipelines
---
azure-pipelines.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index ea2229425..24a7ae1c6 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -328,7 +328,7 @@ jobs:
./ml_example_shared.byte
./ml_example_shared_custom.byte
./ml_example_shared
- cd ..
+ cd ..
# Skip as dead-slow in debug mode:
# - template: scripts/test-z3.yml
- template: scripts/test-regressions.yml
\ No newline at end of file