Add basic tests for binder-forall equivalence. #49

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Rustfmt	15s
Check	19s
Test Suite	1m 18s
Clippy	24s
Code coverage	5m 3s
	7m 19s