Skip to content
test-p4c-debian

Build Z3 from source instead of downloading precompiled binaries. #2852

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

Build Z3 from source instead of downloading precompiled binaries. #2852

test-ubuntu20 (Unity ON, GTest ON)

test-ubuntu20 (Unity ON, GTest ON)
succeeded Oct 24, 2024 in 18m 17s