Skip to content
test-p4c-debian

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

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) #2949

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-ubuntu20 (Unity ON, GTest ON)
15m 11s
test-ubuntu20 (Unity OFF, GTest OFF)
3m 11s
test-ubuntu22
14m 28s
test-ubuntu22-tofino
1m 52s
34m 42s