Skip to content
test-p4c-debian

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

Sign in to view logs

Build Z3 from source instead of downloading precompiled binaries.

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

test-ubuntu20 (Unity ON, GTest ON)

test-ubuntu20 (Unity ON, GTest ON)
succeeded Oct 30, 2024 in 15m 6s