Improve memory efficiency by deleting Z3_context on drop of Z3Solver
#12
hermanventermirai_on_mirai.yml
on: pull_request
Matrix: build_with_vcpkg_installed_z3
Annotations
3 errors
|
build_with_vcpkg_installed_z3 (macos)
Process completed with exit code 101.
|
|
build_with_vcpkg_installed_z3 (windows)
The job was canceled because "macos" failed.
|
|
build_with_vcpkg_installed_z3 (linux)
The job was canceled because "macos" failed.
|