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