diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 789aad5fd..58ccbf9c2 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -81,8 +81,8 @@ jobs: cd build ./test-z3 -a cd .. - - template: scripts/test-examples-cmake.yml condition: eq(variables['runUnitTest'], 'True') +# - template: scripts/test-examples-cmake.yml # - template: scripts/test-jupyter.yml # - template: scripts/test-java-cmake.yml - template: scripts/test-regressions.yml