diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 81e90fadf..90c946ba1 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