Skip to content
Back to pull request #4997

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #2976

Sign in to view logs

Remove CMAKE_BUILD_TYPE values that do not work when building Z3

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 #2976

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-mac-os-m1
20m 30s
test-mac-os
21m 36s
42m 6s