fix: remove duplication and check both class proofs (#355) #1504

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tests	5m 39s
rustfmt	16s
udeps	2m 48s
clippy	1m 40s
orphans	27s
	10m 50s