CI

Remove `async-trait` crate and `async`, `z3`, `cvc5` features #14

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	41s
Docs	10m 32s
lockfile	19s
Check (msrv)	34s
Check (debug)	35s
rustfmt	19s
Test (linux)	58s
Check (release)	33s
Test (windows)	1m 45s
Test (mac)	1m 33s
CI	1s
	17m 50s