build

Reorder results in `mk_conjunction` and `mk_disjunction` to match par… #222

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	12s
Check	42s
Clippy	41s
Test Suite	55s
Code coverage	1m 51s
	4m 21s