Skip to content
MIRAI on MIRAI

Improve memory efficiency by deleting Z3_context on drop of `Z3Solv… #14

Sign in to view logs

Improve memory efficiency by deleting Z3_context on drop of `Z3Solv…

Improve memory efficiency by deleting Z3_context on drop of `Z3Solv… #14

Triggered via push November 28, 2024 01:39
@hermanventerhermanventer
pushed b243ed7
main
Status Success
Total duration 49m 45s
Artifacts –

mirai_on_mirai.yml

on: push
Matrix: build_with_vcpkg_installed_z3
Fit to window
Zoom out
Zoom in