diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 2fab225ca..ea2229425 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