From 09bda6f21c4b49c8a71daf42c916afb78c120f81 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 25 Oct 2021 11:30:18 +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 2fab225ca2b..ea2229425ab 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -107,7 +107,7 @@ jobs: ./ml_example_static.byte ./ml_example_static_custom.byte ./ml_example_static - cd .. + cd .. - template: scripts/test-z3.yml - template: scripts/test-regressions.yml - template: scripts/generate-doc.yml