Skip to content
ptf-ebpf

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 (#4997) #7892

Sign in to view logs

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 (#4997)

Remove CMAKE_BUILD_TYPE values that do not work when building Z3 (#4997) #7892

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ptf-linux
14m 42s
14m 42s