diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 4ea076c96..81e90fadf 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -160,4 +160,4 @@ jobs: - template: scripts/test-z3.yml - template: scripts/test-examples-cmake.yml - template: scripts/test-regressions.yml - - template: scripts/test-java-cmake.yml +# - template: scripts/test-java-cmake.yml