Update bundled Z3 to z3 4.12.3. #463
waywardmonkeysrust.yml
on: pull_request
Matrix: build
Matrix: build_with_bundled_z3
Matrix: build_with_vcpkg_installed_z3
Annotations
1 error
|
build_with_bundled_z3 (windows)
Process completed with exit code 1.
|