Update azure-pipelines.yml for Azure Pipelines

Z3Prover · Oct 25, 2021 · 09bda6f · 09bda6f
1 parent cd4481b
commit 09bda6f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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