Skip to content
Continuous Integration

Improve memory efficiency by deleting Z3_context on drop of Z3Solver #13

Sign in to view logs

Improve memory efficiency by deleting Z3_context on drop of Z3Solver

Improve memory efficiency by deleting Z3_context on drop of Z3Solver #13

Re-run triggered November 28, 2024 00:50
@hermanventerhermanventer
#11
davidsemakula:z3-solver
Status Success
Total duration 20m 1s
Artifacts –

rust.yml

on: pull_request
clippy
1m 17s
clippy
tests
17m 1s
tests
mirai_on_mirai_ubuntu
19m 51s
mirai_on_mirai_ubuntu
Fit to window
Zoom out
Zoom in