Skip to content
test

catch ugly exception when z3 java api not in path #4179

Sign in to view logs

catch ugly exception when z3 java api not in path

catch ugly exception when z3 java api not in path #4179

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-test-deploy-container
25m 46s
25m 46s