This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Try again to build on Linux using vcpkg #12

Job	Run time
build_with_vcpkg_installed_z3 (linux)	5m 31s
build_with_vcpkg_installed_z3 (macos)	8m 43s
build_with_vcpkg_installed_z3 (windows)	13m 45s
	27m 59s

Provide feedback