Skip to content
Continuous Integration

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 28m 39s
Artifacts –

rust.yml

on: push
clippy
1m 12s
clippy
tests
28m 29s
tests
mirai_on_mirai_ubuntu
19m 6s
mirai_on_mirai_ubuntu
Fit to window
Zoom out
Zoom in