Skip to content
static-build-test-p4c

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Dynamic ${{ (((matrix.dynamic.glibc == 'ON') && 'glibc') || 'stdlib') }}
0s
0s