Skip to content
Continuous Integration

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

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 #12

Re-run triggered November 27, 2024 16:33
@hermanventerhermanventer
#11
davidsemakula:z3-solver
Status Failure
Total duration 25m 11s
Artifacts –

rust.yml

on: pull_request
clippy
1m 13s
clippy
tests
24m 41s
tests
mirai_on_mirai_ubuntu
18m 56s
mirai_on_mirai_ubuntu
Fit to window
Zoom out
Zoom in

Annotations

1 error
mirai_on_mirai_ubuntu
Process completed with exit code 101.