Continuous Integration

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mirai_on_mirai_ubuntu	19m 51s
tests	17m 1s
clippy	1m 17s
	38m 9s