Skip to content
container-image

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

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 #12578

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1h 12m 32s
1h 12m 32s