From cd4481bca37e4f636fb9e252dc95f27187966616 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 25 Oct 2021 11:29:20 +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 e805c4a2c..2fab225ca 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -72,7 +72,7 @@ jobs: ./ml_example_shared.byte ./ml_example_shared_custom.byte ./ml_example_shared - cd .. + cd .. - template: scripts/test-z3.yml - template: scripts/test-regressions.yml - template: scripts/generate-doc.yml