diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 487ef16f5..ed2a7d0c3 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -224,7 +224,7 @@ jobs: make -j3 test-z3 ./cpp_example ./c_example - java -cp api/java/classes JavaExample + # java -cp api/java/classes; JavaExample cd .. # Skip as dead-slow in debug mode: # - template: scripts/test-z3.yml