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

Update version to 1.1.9 (#1274) #58

Job	Run time
build_with_vcpkg_installed_z3 (linux)	27m 30s
build_with_vcpkg_installed_z3 (macos)	17m 59s
build_with_vcpkg_installed_z3 (windows)	39m 0s
	1h 24m 29s

Provide feedback