CI

BREAKING CHANGE: Remove `async-trait` crate and `async`, `z3`, `cvc5`… #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lockfile	18s
Docs	10m 30s
clippy	18s
Check (msrv)	21s
rustfmt	13s
Check (debug)	16s
Test (linux)	32s
Check (release)	23s
Test (windows)	1m 9s
Test (mac)	54s
CI	1s
	14m 55s